Re: [ jEdit-users ] Changing the JDK used by jEdit

[sigzero <si...@gm...>]

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 <gen...@gm...> 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
> jEd...@li...
> https://lists.sourceforge.net/lists/listinfo/jedit-users
>
>