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 &&