Re: Printing problem
Dale Anson <[email protected]>
| Newsgroups | gmane.editors.jedit.user |
|---|---|
| Message-ID | <CAHrA0wDUjXo0rrxjyFVkC3-0oBVjLMZ+qHjY8y5ma1oR=p+N3g@mail.gmail.com> |
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