--- a/src/Tools/jEdit/src/isabelle_logic.scala Mon Sep 10 17:13:17 2012 +0200
+++ b/src/Tools/jEdit/src/isabelle_logic.scala Mon Sep 10 19:49:30 2012 +0200
@@ -37,21 +37,23 @@
val component = new ComboBox(entries) with Option_Component {
val title = Isabelle.options.title("jedit_logic")
- def save = Isabelle.options.string("jedit_logic") = selection.item.name
+ def load: Unit =
+ {
+ val logic = Isabelle.options.string("jedit_logic")
+ entries.find(_.name == logic) match {
+ case Some(entry) => selection.item = entry
+ case None =>
+ }
+ }
+ def save: Unit = Isabelle.options.string("jedit_logic") = selection.item.name
}
+ component.load()
if (autosave) {
component.listenTo(component.selection)
component.reactions += { case SelectionChanged(_) => component.save() }
}
-
- val logic = Isabelle.options.string("jedit_logic")
- entries.find(_.name == logic) match {
- case Some(entry) => component.selection.item = entry
- case None =>
- }
-
- component.tooltip = Isabelle.options.value.check_name("jedit_logic").description
+ component.tooltip = Isabelle.options.value.check_name("jedit_logic").print
component
}