jedit-users

[ jEdit-users ] jedit.org domain unregistered

[Dietrich S. <ds...@es...>]

Hi,

I started to have difficulty downloading the list of plugins, and it
turned out that jedit.org is no longer registered:

http://jedit.org/

Are there any plans to recover the domain?

Best,

Dietrich

Re: [ jEdit-users ] Character encodings for files

[Edward D. <eld...@tr...>]

On 11/18/2019 10:50 AM, Dale Anson wrote:
> Unfortunately, there isn't a built-in way to do that, and I'm not aware 
> of a plugin that provides that feature. The jEdit API doesn't really 
> provide a way to set encoding by file type, rather it uses bytes from an 
> input stream and doesn't give access to the file itself, so without an 
> API change, a plugin couldn't do what you're asking.
> 
> I'm assuming you have the auto detect encoding turned on?

Yes, auto detect is turned on. Maybe I should just change the default 
encoding from Cp1252 to UTF8 on Windows.

Ideally it would be nice if I could tell JEdit to automatically use 
encodings based on glob patterns, and use the default encoding whenever 
a glob pattern is not matched. I am assuming in that ideal case that a 
glob pattern might extend to a full file spec so specific directories 
could be part of the pattern.

> 
> Dale
> 
> 
> 
> On Mon, Nov 18, 2019, 7:30 AM Edward Diener <eld...@tr... 
> <mailto:eld...@tr...>> wrote:
> 
>     On 11/18/2019 5:31 AM, Moti Ben-Ari wrote:
>      > Use File/Reload with Encoding to use a different encoding for an
>      > individual file.
>      >
>      > Note that there are a large number of encodings which can be a pain
>      > since utf8 is near the end :-(. Go to Utilities/Global
>     Options/Encodings
>      > and drag to Selected encoding(s) the ones you need.
> 
>     I am fully aware that I can open an individual file with a particular
>     encoding using File/Reload with Encoding. But if you read my OP below
>     that is not what I asked about. I want to have the ability to
>     automatically open certain file types as defined by file globs and a
>     file location with an encoding that is not the single default encoding
>     defined by Global Options | Encodings | Default Character Encoding. In
>     other words I find the single default character encoding, applied to
>     all
>     files for which I have not changed to a different encoding, to be a
>     very
>     limited way of specifying what encoding I want for files.
> 
>      >
>      > On Mon, Nov 18, 2019 at 8:03 AM Edward Diener
>     <eld...@tr... <mailto:eld...@tr...>
>      > <mailto:eld...@tr...
>     <mailto:eld...@tr...>>> wrote:
>      >
>      >     I do not see anything the JEdit settings that lets me control the
>      >     character encoding which certain types of files, or certain
>     types of
>      >     files in certain directories, should be opened with. Does
>     this exist in
>      >     JEdit ? I only noticed a global option for the default
>     encoding. Have a
>      >     I missed something, or does JEdit, or perhaps a JEdit plugin,
>     let me
>      >     control the character encoding with which certain files are
>     opened.
>      >
>      >     While the default encoding under Windows, Cp1252, works well
>     for the
>      >     vast majority of files there are a number of files which
>     should be
>      >     opened with the UTF8 encoding instead. In particular nearly
>     all git
>      >     files in git repositories are UTF8.
>      >
>      >     I did notice that once I changed the character encoding for a
>      >     particular
>      >     file that JEdit retains this even between sessions, so
>     evidently JEdit
>      >     can associate a character encoding with a particular file
>     whenever I
>      >     edit the file. But what I am looking for is the ability to
>     say that all
>      >     the files of a particular file glob within a particular
>      >     directory/subdirectories should be opened with some encoding
>     which is
>      >     not the default encoding.

Re: [ jEdit-users ] Character encodings for files

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

Unfortunately, there isn't a built-in way to do that, and I'm not aware of
a plugin that provides that feature. The jEdit API doesn't really provide a
way to set encoding by file type, rather it uses bytes from an input stream
and doesn't give access to the file itself, so without an API change, a
plugin couldn't do what you're asking.

I'm assuming you have the auto detect encoding turned on?

Dale



On Mon, Nov 18, 2019, 7:30 AM Edward Diener <eld...@tr...> wrote:

> On 11/18/2019 5:31 AM, Moti Ben-Ari wrote:
> > Use File/Reload with Encoding to use a different encoding for an
> > individual file.
> >
> > Note that there are a large number of encodings which can be a pain
> > since utf8 is near the end :-(. Go to Utilities/Global Options/Encodings
> > and drag to Selected encoding(s) the ones you need.
>
> I am fully aware that I can open an individual file with a particular
> encoding using File/Reload with Encoding. But if you read my OP below
> that is not what I asked about. I want to have the ability to
> automatically open certain file types as defined by file globs and a
> file location with an encoding that is not the single default encoding
> defined by Global Options | Encodings | Default Character Encoding. In
> other words I find the single default character encoding, applied to all
> files for which I have not changed to a different encoding, to be a very
> limited way of specifying what encoding I want for files.
>
> >
> > On Mon, Nov 18, 2019 at 8:03 AM Edward Diener <eld...@tr...
> > <mailto:eld...@tr...>> wrote:
> >
> >     I do not see anything the JEdit settings that lets me control the
> >     character encoding which certain types of files, or certain types of
> >     files in certain directories, should be opened with. Does this exist
> in
> >     JEdit ? I only noticed a global option for the default encoding.
> Have a
> >     I missed something, or does JEdit, or perhaps a JEdit plugin, let me
> >     control the character encoding with which certain files are opened.
> >
> >     While the default encoding under Windows, Cp1252, works well for the
> >     vast majority of files there are a number of files which should be
> >     opened with the UTF8 encoding instead. In particular nearly all git
> >     files in git repositories are UTF8.
> >
> >     I did notice that once I changed the character encoding for a
> >     particular
> >     file that JEdit retains this even between sessions, so evidently
> JEdit
> >     can associate a character encoding with a particular file whenever I
> >     edit the file. But what I am looking for is the ability to say that
> all
> >     the files of a particular file glob within a particular
> >     directory/subdirectories should be opened with some encoding which is
> >     not the default encoding.
>
>
>
> --
> -----------------------------------------------
> jEdit Users' List
> jEd...@li...
> https://lists.sourceforge.net/lists/listinfo/jedit-users
>

Re: [ jEdit-users ] Character encodings for files

[Edward D. <eld...@tr...>]

On 11/18/2019 5:31 AM, Moti Ben-Ari wrote:
> Use File/Reload with Encoding to use a different encoding for an 
> individual file.
> 
> Note that there are a large number of encodings which can be a pain 
> since utf8 is near the end :-(. Go to Utilities/Global Options/Encodings 
> and drag to Selected encoding(s) the ones you need.

I am fully aware that I can open an individual file with a particular 
encoding using File/Reload with Encoding. But if you read my OP below 
that is not what I asked about. I want to have the ability to 
automatically open certain file types as defined by file globs and a 
file location with an encoding that is not the single default encoding 
defined by Global Options | Encodings | Default Character Encoding. In 
other words I find the single default character encoding, applied to all 
files for which I have not changed to a different encoding, to be a very 
limited way of specifying what encoding I want for files.

> 
> On Mon, Nov 18, 2019 at 8:03 AM Edward Diener <eld...@tr... 
> <mailto:eld...@tr...>> wrote:
> 
>     I do not see anything the JEdit settings that lets me control the
>     character encoding which certain types of files, or certain types of
>     files in certain directories, should be opened with. Does this exist in
>     JEdit ? I only noticed a global option for the default encoding. Have a
>     I missed something, or does JEdit, or perhaps a JEdit plugin, let me
>     control the character encoding with which certain files are opened.
> 
>     While the default encoding under Windows, Cp1252, works well for the
>     vast majority of files there are a number of files which should be
>     opened with the UTF8 encoding instead. In particular nearly all git
>     files in git repositories are UTF8.
> 
>     I did notice that once I changed the character encoding for a
>     particular
>     file that JEdit retains this even between sessions, so evidently JEdit
>     can associate a character encoding with a particular file whenever I
>     edit the file. But what I am looking for is the ability to say that all
>     the files of a particular file glob within a particular
>     directory/subdirectories should be opened with some encoding which is
>     not the default encoding.

Re: [ jEdit-users ] Character encodings for files

[Moti Ben-A. <mot...@gm...>]

Use File/Reload with Encoding to use a different encoding for an individual
file.

Note that there are a large number of encodings which can be a pain since
utf8 is near the end :-(. Go to Utilities/Global Options/Encodings and drag
to Selected encoding(s) the ones you need.

On Mon, Nov 18, 2019 at 8:03 AM Edward Diener <eld...@tr...>
wrote:

> I do not see anything the JEdit settings that lets me control the
> character encoding which certain types of files, or certain types of
> files in certain directories, should be opened with. Does this exist in
> JEdit ? I only noticed a global option for the default encoding. Have a
> I missed something, or does JEdit, or perhaps a JEdit plugin, let me
> control the character encoding with which certain files are opened.
>
> While the default encoding under Windows, Cp1252, works well for the
> vast majority of files there are a number of files which should be
> opened with the UTF8 encoding instead. In particular nearly all git
> files in git repositories are UTF8.
>
> I did notice that once I changed the character encoding for a particular
> file that JEdit retains this even between sessions, so evidently JEdit
> can associate a character encoding with a particular file whenever I
> edit the file. But what I am looking for is the ability to say that all
> the files of a particular file glob within a particular
> directory/subdirectories should be opened with some encoding which is
> not the default encoding.
>
>
>
> --
> -----------------------------------------------
> jEdit Users' List
> jEd...@li...
> https://lists.sourceforge.net/lists/listinfo/jedit-users
>

[ jEdit-users ] Character encodings for files

[Edward D. <eld...@tr...>]

I do not see anything the JEdit settings that lets me control the 
character encoding which certain types of files, or certain types of 
files in certain directories, should be opened with. Does this exist in 
JEdit ? I only noticed a global option for the default encoding. Have a 
I missed something, or does JEdit, or perhaps a JEdit plugin, let me 
control the character encoding with which certain files are opened.

While the default encoding under Windows, Cp1252, works well for the 
vast majority of files there are a number of files which should be 
opened with the UTF8 encoding instead. In particular nearly all git 
files in git repositories are UTF8.

I did notice that once I changed the character encoding for a particular 
file that JEdit retains this even between sessions, so evidently JEdit 
can associate a character encoding with a particular file whenever I 
edit the file. But what I am looking for is the ability to say that all 
the files of a particular file glob within a particular 
directory/subdirectories should be opened with some encoding which is 
not the default encoding.

[ jEdit-users ] jEdit - CtagsIngerface

[<mue...@gm...>]

Dear jEdit users,

I'm trying to get ctags and CtagsInterface working in my favourite editor, however with no success so far. As the (original?) author Shlomy Reinstein does not seem to be around anymore I was wondering if anybody could help me out?
I got myself three different versions of ctags.exe, one of them is the latest build of universal-ctags (https://github.com/universal-ctags/ctags-win32/releases). I set up all necessary plugins in a fresh installation of jEdit and figured out how to define "origins" (file index sources) via ProjectViewer or FileBrowser + Lucene. However tagging the origins via CtagInterface does not seem to work, the tagging progress dock opens but nothing seems to happen. Calling the various ctags executables directly from the Windows console while providing the same parameter seems to work just fine, the tag files are correctly generated.

Should CtagsInterface still be working correctly with the current version of jEdit?

My setup: 
• Windows 7 x64
• jEdit 5.5.0
• CtagsInterface 2.8.0, LucenePlugin 4.2, ...
• ctags in various versions, e.g. "universal-ctags/ctags-win32 2019-11-08/be621aec"

Many thanks and best regards
Jakob

Re: [ jEdit-users ] Using with Java 11

[Cassidy J. J <Joh...@de...>]

I have been using 5.6.0  with OpenJDK 13 for a couple of months and haven’t seen any issues.

From: James <gen...@gm...>
Sent: Sunday, October 27, 2019 12:39 PM
To: Edward Diener <eld...@tr...>
Cc: jedit-users <jed...@li...>
Subject: Re: [ jEdit-users ] Using with Java 11

Hi

Read this thread for a new jedit.exe that will work with Java 11.

https://sourceforge.net/p/jedit/bugs/4079/<https://nam05.safelinks.protection.outlook.com/?url=https%3A%2F%2Fsourceforge.net%2Fp%2Fjedit%2Fbugs%2F4079%2F&data=01%7C01%7Cjohn.cassidy%40dematic.com%7C29fd49785f8247deb0f708d75b155fbd%7Cb87688c18bb44f8698754da105de8eda%7C0&sdata=zG4TdRaWL7bmseCIGDM%2BSZXLSOvRNac0VsnvndUqO8s%3D&reserved=0>

thanks

On Sun, Oct 27, 2019 at 5:37 AM Edward Diener <eld...@tr...<mailto:eld...@tr...>> wrote:
On 1/28/2019 9:17 AM, sigzero wrote:
> I just switched my shortcut to point to my JDK11 install and jEdit
> started up.  It can open files and browse my folders. Not an exhaustive
> test, but it seems to work fine.

How did you "point to my JDK11 install" ? Can this be done using the
jedit.exe on Windows or must I start JEdit using the
"\path_to_java11\java" command line in Windows ?

Sorry to be so late responding to your answer but I have finally
installed JDK 11 in Windows 10 and would like to start JEdit so it uses
this JDK11. I also noticed that the Oracle JDK11 does not separately
install a JRE as the Oracle JDK8 does in Windows. Does anyone know the
reason for that ?

>
> Bob
>
> On Sun, Jan 27, 2019 at 10:09 AM Edward Diener <eld...@tr...<mailto:eld...@tr...>
> <mailto:eld...@tr...<mailto:eld...@tr...>>> wrote:
>
>     Does JEdit 5.5 work with the Java 11 jre and jdk ? I could only find
>     mention of JEdit and Java 8 on the website.



--
-----------------------------------------------
jEdit Users' List
jEd...@li...<mailto:jEd...@li...>
https://lists.sourceforge.net/lists/listinfo/jedit-users<https://nam05.safelinks.protection.outlook.com/?url=https%3A%2F%2Flists.sourceforge.net%2Flists%2Flistinfo%2Fjedit-users&data=01%7C01%7Cjohn.cassidy%40dematic.com%7C29fd49785f8247deb0f708d75b155fbd%7Cb87688c18bb44f8698754da105de8eda%7C0&sdata=Viu1K%2BJZtxiwYBHd%2BdWk5mX%2FiN44sKLgk0ZsCR62E0k%3D&reserved=0>

Re: [ jEdit-users ] Using with Java 11

[James <gen...@gm...>]

Hi

Read this thread for a new jedit.exe that will work with Java 11.

https://sourceforge.net/p/jedit/bugs/4079/

thanks

On Sun, Oct 27, 2019 at 5:37 AM Edward Diener <eld...@tr...>
wrote:

> On 1/28/2019 9:17 AM, sigzero wrote:
> > I just switched my shortcut to point to my JDK11 install and jEdit
> > started up.  It can open files and browse my folders. Not an exhaustive
> > test, but it seems to work fine.
>
> How did you "point to my JDK11 install" ? Can this be done using the
> jedit.exe on Windows or must I start JEdit using the
> "\path_to_java11\java" command line in Windows ?
>
> Sorry to be so late responding to your answer but I have finally
> installed JDK 11 in Windows 10 and would like to start JEdit so it uses
> this JDK11. I also noticed that the Oracle JDK11 does not separately
> install a JRE as the Oracle JDK8 does in Windows. Does anyone know the
> reason for that ?
>
> >
> > Bob
> >
> > On Sun, Jan 27, 2019 at 10:09 AM Edward Diener <eld...@tr...
> > <mailto:eld...@tr...>> wrote:
> >
> >     Does JEdit 5.5 work with the Java 11 jre and jdk ? I could only find
> >     mention of JEdit and Java 8 on the website.
>
>
>
> --
> -----------------------------------------------
> jEdit Users' List
> jEd...@li...
> https://lists.sourceforge.net/lists/listinfo/jedit-users
>

Re: [ jEdit-users ] Using with Java 11

[Edward D. <eld...@tr...>]

On 1/28/2019 9:17 AM, sigzero wrote:
> I just switched my shortcut to point to my JDK11 install and jEdit 
> started up.  It can open files and browse my folders. Not an exhaustive 
> test, but it seems to work fine.

How did you "point to my JDK11 install" ? Can this be done using the 
jedit.exe on Windows or must I start JEdit using the 
"\path_to_java11\java" command line in Windows ?

Sorry to be so late responding to your answer but I have finally 
installed JDK 11 in Windows 10 and would like to start JEdit so it uses 
this JDK11. I also noticed that the Oracle JDK11 does not separately 
install a JRE as the Oracle JDK8 does in Windows. Does anyone know the 
reason for that ?

> 
> Bob
> 
> On Sun, Jan 27, 2019 at 10:09 AM Edward Diener <eld...@tr... 
> <mailto:eld...@tr...>> wrote:
> 
>     Does JEdit 5.5 work with the Java 11 jre and jdk ? I could only find
>     mention of JEdit and Java 8 on the website.

Re: [ jEdit-users ] Templates plugin

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

I looked into this some more and checked in a fix. If you're comfortable
unzipping and zipping the Templates.jar file, you can fix it by unzipping
the jar, edit the Templates.props file and make this line:

plugin.templates.TemplatesPlugin.jars=oro-2.0.8.jar velocity-1.7.jar

look like this:

plugin.templates.TemplatesPlugin.jars=oro-2.0.8.jar velocity-1.7.jar
log4j-1.2.14.jar

Then zip the file (with a .jar extension, of course) and restart jEdit.



On Thu, Sep 19, 2019 at 1:04 PM Robert Schwenn <Rob...@ka...>
wrote:

> Hi, I'd also appreciate a working Templates plugin. It hasn't been working
> for me for a while now. please see
> https://sourceforge.net/p/jedit/plugin-bugs/1882/
>
> Thank's
> Robert
>
>
> Am 19.09.2019 um 19:33 schrieb Dale Anson:
>
> I can't make it work either. I don't use Templates regularly at all, but
> I'm getting an entirely different error, it complains that it can't find
> LilyPondTool.jar, which isn't a dependency. So I installed the LilyPond
> plugin, and then I get the same error you do. Weird. Do you have the
> LilyPond plugin installed? Would you enter a bug in the Plugin tracker at
> https://sourceforge.net/p/jedit/plugin-bugs/, please?
>
> On Mon, Sep 16, 2019 at 3:54 AM Pier Paolo Grassi <
> ma...@pi...> wrote:
>
>> Hello, I'm a long time jedit user. Years ago I used the Templates plugin,
>> now I tried installing it again on jEdit 5.5.0, but whenever I try to
>> insert a template in the current buffer I get this error message:
>>
>> An error occurred while attempting to process a template.
>> Refer to the Activity Log for more details
>>
>> in the activity log there is this message:
>>
>>
>> 11.01.14 [AWT-EventQueue-0] [error] TemplatesPlugin: Error processing
>> template 'html tag_javascript.js'
>> 11.01.14 [AWT-EventQueue-0] [error] TemplatesPlugin:
>> java.lang.NullPointerException
>> 11.01.14 [AWT-EventQueue-0] [error] TemplatesPlugin:  at
>> org.apache.velocity.runtime.resource.ResourceManagerImpl.getResource(ResourceManagerImpl.java:294)
>> 11.24.27 [AWT-EventQueue-0] [error] TemplatesPlugin:  at
>> org.apache.velocity.runtime.RuntimeInstance.getTemplate(RuntimeInstance.java:1533)
>> 11.24.27 [AWT-EventQueue-0] [error] TemplatesPlugin:  at
>> org.apache.velocity.app.VelocityEngine.mergeTemplate(VelocityEngine.java:343)
>> 11.24.27 [AWT-EventQueue-0] [error] TemplatesPlugin:  at
>> org.apache.velocity.app.VelocityEngine.mergeTemplate(VelocityEngine.java:320)
>> [...]
>>
>> Can anybody help me to make it work?
>> thanks
>> --
>> -----------------------------------------------
>> 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
>

Re: [ jEdit-users ] Printing problem

[Jarvis, B. <Bob...@si...>]

I suggest that if the printer shown on the “print.lastUsedPrinter” line in the properties file doesn’t exist or can’t be initialized or whatever then it should be ignored, and the printer dialog should be displayed so the user can select another printer.

Thanks,
Bob

From: Alan Ezust <ala...@gm...>
Sent: Monday, October 14, 2019 11:34 AM
To: Edward Diener <eld...@tr...>; jedit-users <jed...@li...>
Subject: Re: [ jEdit-users ] Printing problem


External Email: Please use caution.

________________________________
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.



On Mon, Oct 14, 2019 at 8:22 AM Edward Diener <eld...@tr...<mailto:eld...@tr...>> wrote:
On 10/14/2019 9:05 AM, Jarvis, Bob wrote:
>
>
> I’ve seen this pop up in the following circumstance:
>
>  1. I had a default printer set in Windows.
>  2. I had printed to this printer from jEdit.
>  3. I changed my default printer in Windows, and
>  4. I deleted the old default printer completely from Windows.
>
> jEdit started throwing the “Invalid print service” message.
>
> To fix it I edited the jEdit “properties” file
> (C:\users\username\AppData\Roaming\jEdit\properties) and deleted the
> “print.lastUsedPrinter” line.

Thank you ! That solved my problem and JEdit is printing again.

I think this is a bug in JEdit, especially because JEdit can be used
with multiple OSs in a multi-boot environment, with each OS using the
same command line -settings=some_path in a shared partition. That is how
I use JEdit and the printer names are certainly different in each OS,
even if the actual printer is the same.

Do I need to file a bug report, Dale, on this issue ?

>
> Thanks,
>
> Bob
>
> *From:* Dale Anson <da...@da...<mailto:da...@da...>>
> *Sent:* Saturday, October 12, 2019 4:01 PM
> *To:* Edward Diener <eld...@tr...<mailto:eld...@tr...>>
> *Cc:* jedit-users <jed...@li...<mailto:jed...@li...>>
> *Subject:* Re: [ jEdit-users ] Printing problem
>
> *External Email: Please use caution.***
>
> ------------------------------------------------------------------------
>
> There are only two places where that message can come from, one for
> regular printing and one for the print preview. The one for regular
> printing should have printed a stack trace to the Activity Log. Do you
> see one? If so, would you send it to me?
>
> Thanks,
>
> Dale
>
> On Sat, Oct 12, 2019 at 11:33 AM Edward Diener <eld...@tr...<mailto:eld...@tr...>
> <mailto:eld...@tr...<mailto:eld...@tr...>>> wrote:
>
>     Running JEdit 5.5.0 on Windows 10, I have two printers. One is
>     currently
>     low in one of its toner cartridges, but can still print, while the
>     other
>     is fine. When I try to Print in JEdit I get:
>
>     "An error occurred while trying to print. Invalid print service."
>
>     and JEdit can not print my current file. The printing function had
>     always been working before so I do not know why it has stopped working.
>     I suspect it is simply because of the low toner cartridge, but I have
>     changed nothing in JEdit to keep it from working.



--
-----------------------------------------------
jEdit Users' List
jEd...@li...<mailto:jEd...@li...>
https://lists.sourceforge.net/lists/listinfo/jedit-users<https://lists.sourceforge.net/lists/listinfo/jedit-users>


The information contained in this e-mail message is privileged and/or
confidential and is intended only for the use of the individual or entity
named above.  If the reader of this message is not the intended
recipient, or the employee or agent responsible to deliver it to the
intended recipient, you are hereby notified that any dissemination,
distribution or copying of this communication is strictly prohibited.
If you have received this communication in error, please immediately
notify us by telephone (330-668-5000), and destroy the original
message.  Thank you.

Re: [ jEdit-users ] Printing problem

[Finch, A. <a....@la...>]

Dale,

Over the years I have used Red Hat, Scientific Linux and now Centos 7, i.e. basically all versions of RedHat. Printing never worked on any of them. I always get the pop up message described in the thread, i.e. "An error occurred while trying to print. Invalid print service."   I long ago gave up even trying to print from jedit. I tried the suggestion in this thread of editing the properties file by hand and correcting the name of the printer and it didn't help. I just tried it again and, what the ? It worked! First time ever. How did you do that? It occurs to me I may have closed and reopened jedit recently. I normally have it open permanently. Does it only read the properties value when it starts  up? Any way it is good news, printing works with jedit .

Alex

On 16/10/2019 01:25, Dale Anson wrote:
Alex, what flavors? I've tested on Gentoo, Ubuntu, Fedora, and Arch, all print fine. I've been on Arch for a while now, and no problems printing at all. I've also tested on my wife's Windows 7 and 10 computers, again, printing works fine. Are you getting any error messages?

Dale



On Tue, Oct 15, 2019 at 2:50 AM Finch, Alex <a....@la...<mailto:a....@la...>> wrote:

I have never managed to print from Jedit on multiple flavours of Linux.

On 14/10/2019 21:32, 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.

Dale


On Mon, Oct 14, 2019 at 1:14 PM Dale Anson <da...@da...<mailto:da...@da...>> wrote:
I agree, it should be a fairly easy fix.

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

Yes, your idea is even better :-)

On Mon, Oct 14, 2019 at 10:06 AM Edward Diener <eld...@tr...<mailto: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...<mailto:jEd...@li...>
https://lists.sourceforge.net/lists/listinfo/jedit-users<https://eur02.safelinks.protection.outlook.com/?url=https%3A%2F%2Flists.sourceforge.net%2Flists%2Flistinfo%2Fjedit-users&data=02%7C01%7Ca.finch%40lancaster.ac.uk%7Ccbcef5db85ed459b894908d751cf70ad%7C9c9bcd11977a4e9ca9a0bc734090164a%7C1%7C0%7C637067823702057980&sdata=ReIyp9xRl4pZWrn14IlXCGl3pCv5za9LIVvQyDgRym8%3D&reserved=0>
--
-----------------------------------------------
jEdit Users' List
jEd...@li...<mailto:jEd...@li...>
https://lists.sourceforge.net/lists/listinfo/jedit-users<https://eur02.safelinks.protection.outlook.com/?url=https%3A%2F%2Flists.sourceforge.net%2Flists%2Flistinfo%2Fjedit-users&data=02%7C01%7Ca.finch%40lancaster.ac.uk%7Ccbcef5db85ed459b894908d751cf70ad%7C9c9bcd11977a4e9ca9a0bc734090164a%7C1%7C0%7C637067823702057980&sdata=ReIyp9xRl4pZWrn14IlXCGl3pCv5za9LIVvQyDgRym8%3D&reserved=0>





--
-----------------------------------------------
jEdit Users' List
jEd...@li...<mailto:jEd...@li...>
https://lists.sourceforge.net/lists/listinfo/jedit-users<https://eur02.safelinks.protection.outlook.com/?url=https%3A%2F%2Flists.sourceforge.net%2Flists%2Flistinfo%2Fjedit-users&data=02%7C01%7Ca.finch%40lancaster.ac.uk%7Ccbcef5db85ed459b894908d751cf70ad%7C9c9bcd11977a4e9ca9a0bc734090164a%7C1%7C0%7C637067823702067974&sdata=S6BLG4zkCzhp22B%2F31o7ULwxEtzDWnrKtguajCWlXWY%3D&reserved=0>

Re: [ jEdit-users ] Printing problem

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

Well, the daily build server is down at the moment, can you build jEdit
yourself? If so, just get the latest from subversion and give it a try. If
not, I'll see if I can upload a copy somewhere public for you.

Dale



On Tue, Oct 15, 2019 at 5:18 AM Edward Diener <eld...@tr...>
wrote:

> 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 <da...@da...
> > <mailto:da...@da...>> wrote:
> >
> >     I agree, it should be a fairly easy fix.
> >
> >     On Mon, Oct 14, 2019 at 11:11 AM Alan Ezust <ala...@gm...
> >     <mailto:ala...@gm...>> wrote:
> >
> >         Hi Edward,
> >
> >         Yes, your idea is even better :-)
> >
> >         On Mon, Oct 14, 2019 at 10:06 AM Edward Diener
> >         <eld...@tr... <mailto: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
>

Re: [ jEdit-users ] Printing problem

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

Alex, what flavors? I've tested on Gentoo, Ubuntu, Fedora, and Arch, all
print fine. I've been on Arch for a while now, and no problems printing at
all. I've also tested on my wife's Windows 7 and 10 computers, again,
printing works fine. Are you getting any error messages?

Dale



On Tue, Oct 15, 2019 at 2:50 AM Finch, Alex <a....@la...> wrote:

>
> I have never managed to print from Jedit on multiple flavours of Linux.
>
> On 14/10/2019 21:32, Dale Anson wrote:
>
> *This email originated from outside of the University. Do not click links
> or open attachments unless you recognise the sender and know the content is
> safe.*
> 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 <da...@da...> wrote:
>
>> 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
>>>> <https://eur02.safelinks.protection.outlook.com/?url=https%3A%2F%2Flists.sourceforge.net%2Flists%2Flistinfo%2Fjedit-users&data=02%7C01%7Ca.finch%40lancaster.ac.uk%7C8348f2ea362a4f9e171b08d750e5beda%7C9c9bcd11977a4e9ca9a0bc734090164a%7C1%7C0%7C637066819993202787&sdata=UEZYrYoBVsrDS2aljAx6Q%2B0uH3N%2Bfvn87YDK7Xx%2FOmg%3D&reserved=0>
>>>>
>>> --
>>> -----------------------------------------------
>>> jEdit Users' List
>>> jEd...@li...
>>> https://lists.sourceforge.net/lists/listinfo/jedit-users
>>> <https://eur02.safelinks.protection.outlook.com/?url=https%3A%2F%2Flists.sourceforge.net%2Flists%2Flistinfo%2Fjedit-users&data=02%7C01%7Ca.finch%40lancaster.ac.uk%7C8348f2ea362a4f9e171b08d750e5beda%7C9c9bcd11977a4e9ca9a0bc734090164a%7C1%7C0%7C637066819993212784&sdata=Do8wZD9vzXxwauRxgEKCxKU2Z7eAIlZBS6OtNFCnkc0%3D&reserved=0>
>>>
>>
>
>
> --
> -----------------------------------------------
> jEdit Users' List
> jEd...@li...
> https://lists.sourceforge.net/lists/listinfo/jedit-users
>

Re: [ jEdit-users ] Printing problem

[Edward D. <eld...@tr...>]

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 <da...@da... 
> <mailto:da...@da...>> wrote:
> 
>     I agree, it should be a fairly easy fix.
> 
>     On Mon, Oct 14, 2019 at 11:11 AM Alan Ezust <ala...@gm...
>     <mailto:ala...@gm...>> wrote:
> 
>         Hi Edward,
> 
>         Yes, your idea is even better :-)
> 
>         On Mon, Oct 14, 2019 at 10:06 AM Edward Diener
>         <eld...@tr... <mailto: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.

Re: [ jEdit-users ] Printing problem

[Finch, A. <a....@la...>]

I have never managed to print from Jedit on multiple flavours of Linux.

On 14/10/2019 21:32, Dale Anson wrote:

This email originated from outside of the University. Do not click links or open attachments unless you recognise the sender and know the content is safe.

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 <da...@da...<mailto:da...@da...>> wrote:
I agree, it should be a fairly easy fix.

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

Yes, your idea is even better :-)

On Mon, Oct 14, 2019 at 10:06 AM Edward Diener <eld...@tr...<mailto: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...<mailto:jEd...@li...>
https://lists.sourceforge.net/lists/listinfo/jedit-users<https://eur02.safelinks.protection.outlook.com/?url=https%3A%2F%2Flists.sourceforge.net%2Flists%2Flistinfo%2Fjedit-users&data=02%7C01%7Ca.finch%40lancaster.ac.uk%7C8348f2ea362a4f9e171b08d750e5beda%7C9c9bcd11977a4e9ca9a0bc734090164a%7C1%7C0%7C637066819993202787&sdata=UEZYrYoBVsrDS2aljAx6Q%2B0uH3N%2Bfvn87YDK7Xx%2FOmg%3D&reserved=0>
--
-----------------------------------------------
jEdit Users' List
jEd...@li...<mailto:jEd...@li...>
https://lists.sourceforge.net/lists/listinfo/jedit-users<https://eur02.safelinks.protection.outlook.com/?url=https%3A%2F%2Flists.sourceforge.net%2Flists%2Flistinfo%2Fjedit-users&data=02%7C01%7Ca.finch%40lancaster.ac.uk%7C8348f2ea362a4f9e171b08d750e5beda%7C9c9bcd11977a4e9ca9a0bc734090164a%7C1%7C0%7C637066819993212784&sdata=Do8wZD9vzXxwauRxgEKCxKU2Z7eAIlZBS6OtNFCnkc0%3D&reserved=0>

Re: [ jEdit-users ] Printing problem

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

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 <da...@da...> wrote:

> 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
>>
>

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
>

Re: [ jEdit-users ] Printing problem

[Alan E. <ala...@gm...>]

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
>

Re: [ jEdit-users ] Printing problem

[Edward D. <eld...@tr...>]

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.

> 
> 
> 
> On Mon, Oct 14, 2019 at 8:22 AM Edward Diener <eld...@tr... 
> <mailto:eld...@tr...>> wrote:
> 
>     On 10/14/2019 9:05 AM, Jarvis, Bob wrote:
>      >
>      >
>      > I’ve seen this pop up in the following circumstance:
>      >
>      >  1. I had a default printer set in Windows.
>      >  2. I had printed to this printer from jEdit.
>      >  3. I changed my default printer in Windows, and
>      >  4. I deleted the old default printer completely from Windows.
>      >
>      > jEdit started throwing the “Invalid print service” message.
>      >
>      > To fix it I edited the jEdit “properties” file
>      > (C:\users\username\AppData\Roaming\jEdit\properties) and deleted the
>      > “print.lastUsedPrinter” line.
> 
>     Thank you ! That solved my problem and JEdit is printing again.
> 
>     I think this is a bug in JEdit, especially because JEdit can be used
>     with multiple OSs in a multi-boot environment, with each OS using the
>     same command line -settings=some_path in a shared partition. That is
>     how
>     I use JEdit and the printer names are certainly different in each OS,
>     even if the actual printer is the same.
> 
>     Do I need to file a bug report, Dale, on this issue ?
> 
>      >
>      > Thanks,
>      >
>      > Bob
>      >
>      > *From:* Dale Anson <da...@da... <mailto:da...@da...>>
>      > *Sent:* Saturday, October 12, 2019 4:01 PM
>      > *To:* Edward Diener <eld...@tr...
>     <mailto:eld...@tr...>>
>      > *Cc:* jedit-users <jed...@li...
>     <mailto:jed...@li...>>
>      > *Subject:* Re: [ jEdit-users ] Printing problem
>      >
>      > *External Email: Please use caution.***
>      >
>      >
>     ------------------------------------------------------------------------
>      >
>      > There are only two places where that message can come from, one for
>      > regular printing and one for the print preview. The one for regular
>      > printing should have printed a stack trace to the Activity Log.
>     Do you
>      > see one? If so, would you send it to me?
>      >
>      > Thanks,
>      >
>      > Dale
>      >
>      > On Sat, Oct 12, 2019 at 11:33 AM Edward Diener
>     <eld...@tr... <mailto:eld...@tr...>
>      > <mailto:eld...@tr...
>     <mailto:eld...@tr...>>> wrote:
>      >
>      >     Running JEdit 5.5.0 on Windows 10, I have two printers. One is
>      >     currently
>      >     low in one of its toner cartridges, but can still print,
>     while the
>      >     other
>      >     is fine. When I try to Print in JEdit I get:
>      >
>      >     "An error occurred while trying to print. Invalid print service."
>      >
>      >     and JEdit can not print my current file. The printing
>     function had
>      >     always been working before so I do not know why it has
>     stopped working.
>      >     I suspect it is simply because of the low toner cartridge,
>     but I have
>      >     changed nothing in JEdit to keep it from working.
> 
> 
> 
>     -- 
>     -----------------------------------------------
>     jEdit Users' List
>     jEd...@li...
>     <mailto:jEd...@li...>
>     https://lists.sourceforge.net/lists/listinfo/jedit-users
> 
> 
> 

Re: [ jEdit-users ] Printing problem

[Alan E. <ala...@gm...>]

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.



On Mon, Oct 14, 2019 at 8:22 AM Edward Diener <eld...@tr...>
wrote:

> On 10/14/2019 9:05 AM, Jarvis, Bob wrote:
> >
> >
> > I’ve seen this pop up in the following circumstance:
> >
> >  1. I had a default printer set in Windows.
> >  2. I had printed to this printer from jEdit.
> >  3. I changed my default printer in Windows, and
> >  4. I deleted the old default printer completely from Windows.
> >
> > jEdit started throwing the “Invalid print service” message.
> >
> > To fix it I edited the jEdit “properties” file
> > (C:\users\username\AppData\Roaming\jEdit\properties) and deleted the
> > “print.lastUsedPrinter” line.
>
> Thank you ! That solved my problem and JEdit is printing again.
>
> I think this is a bug in JEdit, especially because JEdit can be used
> with multiple OSs in a multi-boot environment, with each OS using the
> same command line -settings=some_path in a shared partition. That is how
> I use JEdit and the printer names are certainly different in each OS,
> even if the actual printer is the same.
>
> Do I need to file a bug report, Dale, on this issue ?
>
> >
> > Thanks,
> >
> > Bob
> >
> > *From:* Dale Anson <da...@da...>
> > *Sent:* Saturday, October 12, 2019 4:01 PM
> > *To:* Edward Diener <eld...@tr...>
> > *Cc:* jedit-users <jed...@li...>
> > *Subject:* Re: [ jEdit-users ] Printing problem
> >
> > *External Email: Please use caution.***
> >
> > ------------------------------------------------------------------------
> >
> > There are only two places where that message can come from, one for
> > regular printing and one for the print preview. The one for regular
> > printing should have printed a stack trace to the Activity Log. Do you
> > see one? If so, would you send it to me?
> >
> > Thanks,
> >
> > Dale
> >
> > On Sat, Oct 12, 2019 at 11:33 AM Edward Diener <eld...@tr...
> > <mailto:eld...@tr...>> wrote:
> >
> >     Running JEdit 5.5.0 on Windows 10, I have two printers. One is
> >     currently
> >     low in one of its toner cartridges, but can still print, while the
> >     other
> >     is fine. When I try to Print in JEdit I get:
> >
> >     "An error occurred while trying to print. Invalid print service."
> >
> >     and JEdit can not print my current file. The printing function had
> >     always been working before so I do not know why it has stopped
> working.
> >     I suspect it is simply because of the low toner cartridge, but I have
> >     changed nothing in JEdit to keep it from working.
>
>
>
> --
> -----------------------------------------------
> jEdit Users' List
> jEd...@li...
> https://lists.sourceforge.net/lists/listinfo/jedit-users
>

Re: [ jEdit-users ] Printing problem

[Edward D. <eld...@tr...>]

On 10/14/2019 9:05 AM, Jarvis, Bob wrote:
> 
> 
> I’ve seen this pop up in the following circumstance:
> 
>  1. I had a default printer set in Windows.
>  2. I had printed to this printer from jEdit.
>  3. I changed my default printer in Windows, and
>  4. I deleted the old default printer completely from Windows.
> 
> jEdit started throwing the “Invalid print service” message.
> 
> To fix it I edited the jEdit “properties” file 
> (C:\users\username\AppData\Roaming\jEdit\properties) and deleted the 
> “print.lastUsedPrinter” line.

Thank you ! That solved my problem and JEdit is printing again.

I think this is a bug in JEdit, especially because JEdit can be used 
with multiple OSs in a multi-boot environment, with each OS using the 
same command line -settings=some_path in a shared partition. That is how 
I use JEdit and the printer names are certainly different in each OS, 
even if the actual printer is the same.

Do I need to file a bug report, Dale, on this issue ?

> 
> Thanks,
> 
> Bob
> 
> *From:* Dale Anson <da...@da...>
> *Sent:* Saturday, October 12, 2019 4:01 PM
> *To:* Edward Diener <eld...@tr...>
> *Cc:* jedit-users <jed...@li...>
> *Subject:* Re: [ jEdit-users ] Printing problem
> 
> *External Email: Please use caution.***
> 
> ------------------------------------------------------------------------
> 
> There are only two places where that message can come from, one for 
> regular printing and one for the print preview. The one for regular 
> printing should have printed a stack trace to the Activity Log. Do you 
> see one? If so, would you send it to me?
> 
> Thanks,
> 
> Dale
> 
> On Sat, Oct 12, 2019 at 11:33 AM Edward Diener <eld...@tr... 
> <mailto:eld...@tr...>> wrote:
> 
>     Running JEdit 5.5.0 on Windows 10, I have two printers. One is
>     currently
>     low in one of its toner cartridges, but can still print, while the
>     other
>     is fine. When I try to Print in JEdit I get:
> 
>     "An error occurred while trying to print. Invalid print service."
> 
>     and JEdit can not print my current file. The printing function had
>     always been working before so I do not know why it has stopped working.
>     I suspect it is simply because of the low toner cartridge, but I have
>     changed nothing in JEdit to keep it from working.

Re: [ jEdit-users ] Printing problem

[Jarvis, B. <Bob...@si...>]

I’ve seen this pop up in the following circumstance:

  1.  I had a default printer set in Windows.
  2.  I had printed to this printer from jEdit.
  3.  I changed my default printer in Windows, and
  4.  I deleted the old default printer completely from Windows.

jEdit started throwing the “Invalid print service” message.

To fix it I edited the jEdit “properties” file (C:\users\username\AppData\Roaming\jEdit\properties) and deleted the “print.lastUsedPrinter” line.

Thanks,
Bob

From: Dale Anson <da...@da...>
Sent: Saturday, October 12, 2019 4:01 PM
To: Edward Diener <eld...@tr...>
Cc: jedit-users <jed...@li...>
Subject: Re: [ jEdit-users ] Printing problem


External Email: Please use caution.

________________________________
There are only two places where that message can come from, one for regular printing and one for the print preview. The one for regular printing should have printed a stack trace to the Activity Log. Do you see one? If so, would you send it to me?

Thanks,

Dale


On Sat, Oct 12, 2019 at 11:33 AM Edward Diener <eld...@tr...<mailto:eld...@tr...>> wrote:
Running JEdit 5.5.0 on Windows 10, I have two printers. One is currently
low in one of its toner cartridges, but can still print, while the other
is fine. When I try to Print in JEdit I get:

"An error occurred while trying to print. Invalid print service."

and JEdit can not print my current file. The printing function had
always been working before so I do not know why it has stopped working.
I suspect it is simply because of the low toner cartridge, but I have
changed nothing in JEdit to keep it from working.



--
-----------------------------------------------
jEdit Users' List
jEd...@li...<mailto:jEd...@li...>
https://lists.sourceforge.net/lists/listinfo/jedit-users<https://lists.sourceforge.net/lists/listinfo/jedit-users>


The information contained in this e-mail message is privileged and/or
confidential and is intended only for the use of the individual or entity
named above.  If the reader of this message is not the intended
recipient, or the employee or agent responsible to deliver it to the
intended recipient, you are hereby notified that any dissemination,
distribution or copying of this communication is strictly prohibited.
If you have received this communication in error, please immediately
notify us by telephone (330-668-5000), and destroy the original
message.  Thank you.

Re: [ jEdit-users ] Printing problem

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

There are only two places where that message can come from, one for regular
printing and one for the print preview. The one for regular printing should
have printed a stack trace to the Activity Log. Do you see one? If so,
would you send it to me?

Thanks,

Dale


On Sat, Oct 12, 2019 at 11:33 AM Edward Diener <eld...@tr...>
wrote:

> Running JEdit 5.5.0 on Windows 10, I have two printers. One is currently
> low in one of its toner cartridges, but can still print, while the other
> is fine. When I try to Print in JEdit I get:
>
> "An error occurred while trying to print. Invalid print service."
>
> and JEdit can not print my current file. The printing function had
> always been working before so I do not know why it has stopped working.
> I suspect it is simply because of the low toner cartridge, but I have
> changed nothing in JEdit to keep it from working.
>
>
>
> --
> -----------------------------------------------
> jEdit Users' List
> jEd...@li...
> https://lists.sourceforge.net/lists/listinfo/jedit-users
>