src/Tools/jEdit/src/jedit_resources.scala

--- a/src/Tools/jEdit/src/jedit_resources.scala	Sat Dec 31 11:58:45 2022 +0100
+++ b/src/Tools/jEdit/src/jedit_resources.scala	Sat Dec 31 12:10:14 2022 +0100
@@ -38,7 +38,7 @@
       if (session_base.loaded_theory(theory)) loaded_theory_node(theory)
       else {
         val master_dir = vfs.getParentOfPath(path)
-        Document.Node.Name(node, master_dir, theory)
+        Document.Node.Name(node, master_dir = master_dir, theory = theory)
       }
     }