src/Tools/jEdit/src/theories_dockable.scala

     val (nodes_status_changed, nodes_status1) =
       nodes_status.update(
         PIDE.resources, snapshot.state, snapshot.version, domain = domain, trim = trim)
 
     nodes_status = nodes_status1
-    if (nodes_status_changed) status.listData = nodes_status1.present(snapshot).map(_._1)
+    if (nodes_status_changed) {
+      status.listData =
+        (for { (name, node_status) <- nodes_status1.present.iterator if !node_status.is_suppressed }
+          yield name).toList
+    }
   }
 
 
   /* main */