Re: Changing the JDK used by jEdit
sigzero <[email protected]>
| Newsgroups | gmane.editors.jedit.user |
|---|---|
| Message-ID | <CALp+1QuccLu5=yCpJy3=pdRZmYyAXS8rLdsVy8GpCh3guQDdnw@mail.gmail.com> |
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