As an alternative to the editor-browser combination of VSCode, the 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.
Description
Description