Re: [ jEdit-devel ] Switch to JavaFX

On 18/05/2019 06:19, Infected Engineers wrote:

> I have started to use JEdit recently. I just wanted to know if JEdit UI
> will ever upgrade to JavaFX?

This was discussed occasionally in recent years, but I don't see that
coming.

When JavaFX was first released with Java 7, I was excited to see some
moves in Java GUI technology, but it turned out "too late, too little".
In current Java 11, JavaFX has been "unbundled", i.e. it is an
independent project and even less likely to become the next Java GUI
environment that everybody uses.

So for myself, I am still with classic AWT/Swing -- I am talking here as
the producer of Isabelle/jEdit, see
https://isabelle.in.tum.de/website-Isabelle2019-RC2 (which is already on
Java 11, in contrast to official jEdit).


An alternative for the future might be Java Chromium Embedded Framework
(JCEF) https://bitbucket.org/chromiumembedded/java-cef/src/master -- as
a start it could be used for browsing HTML documentation. A more
ambitious project could imitate editor technology in the style of VSCode
inside jEdit with Chromium-based dockables etc.


	Makarius