src/Tools/jEdit/src/jedit_options.scala

   {
     tooltip = description
     reactions += { case ButtonClicked(_) => update(selected) }
 
     def stored: Boolean = PIDE.options.bool(name)
-    def load() { selected = stored }
     def update(b: Boolean): Unit =
       GUI_Thread.require {
         if (selected != b) selected = b
         if (stored != b) {
           PIDE.options.bool(name) = b
           PIDE.session.update_options(PIDE.options.value)
         }
       }
+    def load() { selected = stored }
+    load()
   }
 }
 
 class JEdit_Options extends Options_Variable
 {