src/Tools/jEdit/src/theories_dockable.scala

--- a/src/Tools/jEdit/src/theories_dockable.scala	Mon Jul 29 13:28:27 2013 +0200
+++ b/src/Tools/jEdit/src/theories_dockable.scala	Mon Jul 29 13:43:12 2013 +0200
@@ -76,6 +76,7 @@
         case PIDE.Execution_Range.VISIBLE => group.select(b3)
       }
     }
+    load()
   }
 
   private val logic = Isabelle_Logic.logic_selector(true)