Changing the JDK used by jEdit
James <[email protected]>
| Newsgroups | gmane.editors.jedit.user |
|---|---|
| Message-ID | <CAB9o2JoDh2a4=TBTH1HTzkRsuboDffKdWsFC=TVhCUk+9gG9hQ@mail.gmail.com> |
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