src/Pure/PIDE/document_status.scala

--- a/src/Pure/PIDE/document_status.scala	Wed Sep 04 21:42:11 2019 +0200
+++ b/src/Pure/PIDE/document_status.scala	Wed Sep 04 22:00:38 2019 +0200
@@ -244,6 +244,12 @@
         node_status <- get(name)
       } yield (name, node_status)).toList
 
+    def consolidated(name: Document.Node.Name): Boolean =
+      rep.get(name) match {
+        case Some(st) => st.consolidated
+        case None => false
+      }
+
     def quasi_consolidated(name: Document.Node.Name): Boolean =
       rep.get(name) match {
         case Some(st) => st.quasi_consolidated