src/Tools/jEdit/src/jedit_options.scala

 
 
 trait Option_Component extends Component
 {
   val title: String
+  def load(): Unit
   def save(): Unit
 }
 
 class JEdit_Options extends Options_Variable
 {

 
     val component =
       if (opt.typ == Options.Bool)
         new CheckBox with Option_Component {
           val title = opt_title
+          def load = selected = bool(opt_name)
           def save = bool(opt_name) = selected
-          selected = bool(opt_name)
         }
       else {
         val text_area =
           new TextArea with Option_Component {
             val title = opt_title
+            def load = text = value.check_name(opt_name).value
             def save = update(value + (opt_name, text))
-            text = opt.value
           }
         text_area.peer.setInputVerifier(new InputVerifier {
           def verify(jcomponent: JComponent): Boolean =
             jcomponent match {
               case text: JTextComponent =>

               case _ => true
             }
           })
         text_area
       }
-    component.tooltip = opt.description
+    component.load()
+    component.tooltip = opt.print
     component
   }
 }