# HG changeset patch
# User wenzelm
# Date 1375693734 -7200
# Node ID f155c38242c19e1142a8e9767ddf18ae3c29ca16
# Parent  f31624cc446778def31feea5aece917ee23cc6ce
initial update of nodes_required, for proper GUI state;

diff -r f31624cc4467 -r f155c38242c1 src/Tools/jEdit/src/theories_dockable.scala
--- a/src/Tools/jEdit/src/theories_dockable.scala	Mon Aug 05 11:01:17 2013 +0200
+++ b/src/Tools/jEdit/src/theories_dockable.scala	Mon Aug 05 11:08:54 2013 +0200
@@ -100,6 +100,7 @@
       if model.node_required
     } nodes_required += model.name
   }
+  update_nodes_required()
 
   private def in_checkbox(loc0: Point, p: Point): Boolean =
     Node_Renderer_Component != null &&