Re: Printing problem

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