--- a/src/Tools/jEdit/src/theories_dockable.scala Thu Apr 14 12:00:29 2016 +0200
+++ b/src/Tools/jEdit/src/theories_dockable.scala Thu Apr 14 12:08:38 2016 +0200
@@ -80,7 +80,7 @@
private val continuous_checking = new Isabelle.Continuous_Checking
continuous_checking.focusable = false
- private val logic = Isabelle_Logic.logic_selector(true)
+ private val logic = JEdit_Sessions.logic_selector(true)
private val controls =
new Wrap_Panel(Wrap_Panel.Alignment.Right)(continuous_checking, session_phase, logic)