src/Pure/PIDE/resources.scala

--- a/src/Pure/PIDE/resources.scala	Thu Nov 11 13:47:32 2021 +0100
+++ b/src/Pure/PIDE/resources.scala	Thu Nov 11 21:54:28 2021 +0100
@@ -16,6 +16,9 @@
 {
   def empty: Resources =
     new Resources(Sessions.Structure.empty, Sessions.Structure.empty.bootstrap)
+
+  def file_node(file: Path, dir: String = "", theory: String = ""): Document.Node.Name =
+    empty.file_node(file, dir = dir, theory = theory)
 }
 
 class Resources(