Page MenuHomeIsabelle/Phabricator

Explore Java Chromium Embedded for HTML/CSS/JS within Swing
Open, NormalPublic


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.

Event Timeline

makarius triaged this task as Normal priority.Sep 25 2019, 10:36 PM
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 changed the edit policy from "Administrators" to "Task Author".