src/Pure/PIDE/document_status.scala

--- a/src/Pure/PIDE/document_status.scala	Thu Nov 11 21:54:28 2021 +0100
+++ b/src/Pure/PIDE/document_status.scala	Thu Nov 11 22:06:18 2021 +0100
@@ -268,7 +268,7 @@
       val update_iterator =
         for {
           name <- domain.getOrElse(nodes1.domain).iterator
-          if !resources.is_hidden(name) && !resources.session_base.loaded_theory(name)
+          if !Resources.hidden_node(name) && !resources.session_base.loaded_theory(name)
           st = Document_Status.Node_Status.make(state, version, name)
           if !rep.isDefinedAt(name) || rep(name) != st
         } yield (name -> st)