--- a/src/Tools/jEdit/src/jedit_resources.scala Sat Dec 31 12:16:22 2022 +0100
+++ b/src/Tools/jEdit/src/jedit_resources.scala Sat Dec 31 12:25:34 2022 +0100
@@ -35,7 +35,7 @@
val vfs = VFSManager.getVFSForPath(path)
val node = if (vfs.isInstanceOf[FileVFS]) MiscUtilities.resolveSymlinks(path) else path
val theory = theory_name(Sessions.DRAFT, Thy_Header.theory_name(node))
- if (session_base.loaded_theory(theory)) loaded_theory_node(theory)
+ if (session_base.loaded_theory(theory)) Document.Node.Name.loaded_theory(theory)
else {
val master_dir = vfs.getParentOfPath(path)
Document.Node.Name(node, master_dir = master_dir, theory = theory)