src/Pure/PIDE/document.scala

--- a/src/Pure/PIDE/document.scala	Tue Jan 31 14:37:40 2023 +0100
+++ b/src/Pure/PIDE/document.scala	Tue Jan 31 14:59:19 2023 +0100
@@ -589,6 +589,9 @@
     def node_files: List[Node.Name] =
       node_name :: node.load_commands.flatMap(_.blobs_names)
 
+    def document_ready(name: Node.Name): Boolean =
+      state.node_consolidated(version, name)
+
 
     /* pending edits */