Re: [ jEdit-users ] Printing problem

[Dale A. <da...@da...>]

I agree, it should be a fairly easy fix.

On Mon, Oct 14, 2019 at 11:11 AM Alan Ezust <ala...@gm...> wrote:

> Hi Edward,
>
> Yes, your idea is even better :-)
>
> On Mon, Oct 14, 2019 at 10:06 AM Edward Diener <eld...@tr...>
> 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
>> jEd...@li...
>> https://lists.sourceforge.net/lists/listinfo/jedit-users
>>
> --
> -----------------------------------------------
> jEdit Users' List
> jEd...@li...
> https://lists.sourceforge.net/lists/listinfo/jedit-users
>