Re: Printing problem

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