Menu

#526 Java launcher should be updated so that jre can be specified

v5.4
open
nobody
None
5
2016-10-30
2016-10-30
No

On Windows you should be able to tell the jedit launcher which version of the java jre should be used. This should be a command line option or an option you can put in the jedit.l4j.ini file. Asking the end-user to re-install jedit on Windows so that some later version of the jre be used is retrograde. Java will notify the user on Windows when a new java jre is available for installation and, after such an installation, it should not be necessary to re-install jedit just to have it use the new jre.

Discussion


Log in to post a comment.