--- a/src/Tools/jEdit/src/session_dockable.scala Mon Sep 10 13:19:56 2012 +0200
+++ b/src/Tools/jEdit/src/session_dockable.scala Mon Sep 10 15:20:50 2012 +0200
@@ -60,10 +60,11 @@
}
check.tooltip = jEdit.getProperty("isabelle.check-buffer.label")
- private val logic = Isabelle.logic_selector(Isabelle.Property("logic"))
+ private val logic = Isabelle.logic_selector(Isabelle.options.string("jedit_logic"))
logic.listenTo(logic.selection)
logic.reactions += {
- case SelectionChanged(_) => Isabelle.Property("logic") = logic.selection.item.name
+ case SelectionChanged(_) =>
+ Isabelle.options.string("jedit_logic") = logic.selection.item.name
}
private val controls =