Re: Printing problem

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.

Dale


On Mon, Oct 14, 2019 at 1:14 PM Dale Anson <[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]> wrote:
>
>> Hi Edward,
>>
>> Yes, your idea is even better :-)
>>
>> On Mon, Oct 14, 2019 at 10:06 AM Edward Diener <[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
>>
>

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