--- a/src/Tools/jEdit/src/theories_dockable.scala Wed Jul 23 14:50:20 2014 +0200
+++ b/src/Tools/jEdit/src/theories_dockable.scala Wed Jul 23 15:00:46 2014 +0200
@@ -204,7 +204,7 @@
val nodes_status1 =
(nodes_status /: iterator)({ case (status, (name, node)) =>
if (!name.is_theory || PIDE.resources.loaded_theories(name.theory)) status
- else if (node.is_empty) status - name
+ else if (snapshot.version.nodes.is_maximal(name) && node.is_empty) status - name
else status + (name -> Protocol.node_status(snapshot.state, snapshot.version, node)) })
if (nodes_status != nodes_status1) {