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 triaged this task as Normal priority.Sep 25 2019, 10:36 PM2019-09-25 22:36:31 (UTC+2)
makarius created this task.
makarius created this object with visibility "Public (No Login Required)".
makarius created this object with edit policy "Administrators".
makarius updated the task description. (Show Details)
makarius removed a project: isabelle-dev.Sep 30 2019, 4:46 PM2019-09-30 16:46:19 (UTC+2)
makarius changed the edit policy from "Administrators" to "Task Author".