Re: Printing problem

Well, the daily build server is down at the moment, can you build jEdit
yourself? If so, just get the latest from subversion and give it a try. If
not, I'll see if I can upload a copy somewhere public for you.

Dale



On Tue, Oct 15, 2019 at 5:18 AM Edward Diener <[email protected]>
wrote:

> On 10/14/2019 4:32 PM, Dale Anson wrote:
> > I checked in a fix, it would be nice if someone else could test this. I
> > tested by changing the value of print.lastUsedPrinter to a non-existent
> > printer and was able to replicate the original error.
>
> I can test this for you. Just tell me what you want me to do in order to
> test.
>
> >
> > Dale
> >
> >
> > On Mon, Oct 14, 2019 at 1:14 PM Dale Anson <[email protected]
> > <mailto:[email protected]>> wrote:
> >
> >     I agree, it should be a fairly easy fix.
> >
> >     On Mon, Oct 14, 2019 at 11:11 AM Alan Ezust <[email protected]
> >     <mailto:[email protected]>> wrote:
> >
> >         Hi Edward,
> >
> >         Yes, your idea is even better :-)
> >
> >         On Mon, Oct 14, 2019 at 10:06 AM Edward Diener
> >         <[email protected] <mailto:[email protected]>>
> wrote:
> >
> >             On 10/14/2019 11:34 AM, Alan Ezust wrote:
> >              > Switching OS/Platforms while using the same settings
> >             directory,  and
> >              > expecting all of your settings to work correctly is not a
> >             frequent
> >              > use-case that we test jEdit for. However, a feature
> >             request allowing
> >              > jEdit to remember or not remember the last used printer
> >             might be
> >              > something that would make this use-case work better when
> >             printing stuff.
> >
> >             How about just not relying on the last used printer if it no
> >             longer
> >             exists in the JEdit print logic <g> ? Even if I use JEdit on
> >             a single OS
> >             JEdit should continue working correctly if I delete a
> >             printer at the OS
> >             level. Surely not doing so is a bug in JEdit. After all
> >             people do change
> >             printers on their computer systems.
>
>
>
> --
> -----------------------------------------------
> jEdit Users' List
> [email protected]
> https://lists.sourceforge.net/lists/listinfo/jedit-users
>

-- 
-----------------------------------------------
jEdit Users' List
[email protected]
https://lists.sourceforge.net/lists/listinfo/jedit-users