src/Tools/jEdit/src/theories_dockable.scala
changeset 52860 f155c38242c1
parent 52819 7ce3ebc268a1
child 52973 d5f7fa1498b7
     1.1 --- a/src/Tools/jEdit/src/theories_dockable.scala	Mon Aug 05 11:01:17 2013 +0200
     1.2 +++ b/src/Tools/jEdit/src/theories_dockable.scala	Mon Aug 05 11:08:54 2013 +0200
     1.3 @@ -100,6 +100,7 @@
     1.4        if model.node_required
     1.5      } nodes_required += model.name
     1.6    }
     1.7 +  update_nodes_required()
     1.8  
     1.9    private def in_checkbox(loc0: Point, p: Point): Boolean =
    1.10      Node_Renderer_Component != null &&