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.
makarius created this task.
makarius created this object with visibility "Public (No Login Required)".
makarius created this object with edit policy "Administrators".