# HG changeset patch
# User wenzelm
# Date 1375098192 -7200
# Node ID 3b5f4f2ff108976a801db350275dab38c56cf03e
# Parent  c2a6e220f157800d81b2387590cad2fe3956bd6d
always init GUI state;

diff -r c2a6e220f157 -r 3b5f4f2ff108 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)