Re: Changing the JDK used by jEdit
James <[email protected]>
| Newsgroups | gmane.editors.jedit.user |
|---|---|
| Message-ID | <CAB9o2JqErhMgygFx-WsZFLUWxJfHS7BPJoYVRUa92+gXa0vNgQ@mail.gmail.com> |
Thanks for the attempt. If I just double-click the jedit.jar file then it opens with Java 9, it's just the jedit.exe file that's a pain. Anyhoo... On Tue, Sep 5, 2017 at 4:37 PM, sigzero <[email protected]> wrote: > Is JDK9 set as JAVA_HOME? > > You can create a shortcut: > > C:\path\to\javaw.exe -jar C:\path\to\jedit.jar > > Other than that, I haven't a clue. Google wasn't much help either. > > > > On Tue, Sep 5, 2017 at 10:07 AM, James <[email protected]> wrote: > >> Hi >> >> For the life of me I can't find how to change what JDK is used by jEdit. >> Please could somebody give me some guidance on that. >> >> I'm using Windows 10 with the Windows launcher (jedit.exe), and I >> recently installed JDK 9 early access because it resolves an issue with >> "slow screen painting" due to the Fira Code font I'm using. >> >> thanks >> >> ------------------------------------------------------------ >> ------------------ >> Check out the vibrant tech community on one of the world's most >> engaging tech sites, Slashdot.org! http://sdm.link/slashdot >> -- >> ----------------------------------------------- >> jEdit Users' List >> [email protected] >> https://lists.sourceforge.net/lists/listinfo/jedit-users >> >> > ------------------------------------------------------------------------------ Check out the vibrant tech community on one of the world's most engaging tech sites, Slashdot.org! http://sdm.link/slashdot -- ----------------------------------------------- jEdit Users' List [email protected] https://lists.sourceforge.net/lists/listinfo/jedit-users