Change Details

As an alternative to the editor-browser combination of VSCode, the [[https://bitbucket.org/chromiumembedded/java-cef|Java-CEF]] project might give more direct support of HTML/CSS/JS within Swing, notably for Isabelle/jEdit. This would avoid the extra work to get Isabelle/VSCode 1.1 up to front with Isabelle/jEdit 11.0.

As an alternative to the editor-browser combination of VSCode, the [[https://bitbucket.org/chromiumembedded/java-cef|JCEF]] project might give more direct support of HTML/CSS/JS within Swing, notably for Isabelle/jEdit. This would avoid the extra work to get Isabelle/VSCode 1.1 up to front with Isabelle/jEdit 11.0.

As an alternative to the editor-browser combination of VSCode, the [[https://bitbucket.org/chromiumembedded/java-cef|Java-CEF]] project might give more direct support of HTML/CSS/JS within Swing, notably for Isabelle/jEdit. This would avoid the extra work to get Isabelle/VSCode 1.1 up to front with Isabelle/jEdit 11.0.