src/Tools/jEdit/src/theories_dockable.scala
changeset 52973 d5f7fa1498b7
parent 52860 f155c38242c1
child 52980 28f59ca8ce78
     1.1 --- a/src/Tools/jEdit/src/theories_dockable.scala	Mon Aug 12 11:49:58 2013 +0200
     1.2 +++ b/src/Tools/jEdit/src/theories_dockable.scala	Mon Aug 12 11:56:12 2013 +0200
     1.3 @@ -98,7 +98,7 @@
     1.4        buffer <- JEdit_Lib.jedit_buffers
     1.5        model <- PIDE.document_model(buffer)
     1.6        if model.node_required
     1.7 -    } nodes_required += model.name
     1.8 +    } nodes_required += model.node_name
     1.9    }
    1.10    update_nodes_required()
    1.11