--- a/src/Tools/jEdit/src/theories_dockable.scala Wed Mar 15 11:07:07 2017 +0100
+++ b/src/Tools/jEdit/src/theories_dockable.scala Wed Mar 15 12:41:22 2017 +0100
@@ -79,7 +79,7 @@
private val continuous_checking = new Isabelle.Continuous_Checking
continuous_checking.focusable = false
- private val logic = JEdit_Sessions.logic_selector(true)
+ private val logic = JEdit_Sessions.logic_selector(PIDE.options.value, true)
private val controls =
new Wrap_Panel(Wrap_Panel.Alignment.Right)(purge, continuous_checking, session_phase, logic)