--- a/src/Tools/jEdit/src/theories_dockable.scala Sat Aug 13 18:06:30 2022 +0200
+++ b/src/Tools/jEdit/src/theories_dockable.scala Sat Aug 13 21:23:59 2022 +0200
@@ -80,7 +80,7 @@
reactions += { case ButtonClicked(_) => PIDE.editor.purge() }
}
- private val continuous_checking = new Isabelle.continuous_checking.GUI
+ private val continuous_checking = new JEdit_Options.continuous_checking.GUI
continuous_checking.focusable = false
private val logic = JEdit_Sessions.logic_selector(PIDE.options, autosave = true)