--- a/src/Tools/jEdit/src/jedit_resources.scala Wed Apr 12 21:13:43 2017 +0200
+++ b/src/Tools/jEdit/src/jedit_resources.scala Wed Apr 12 22:32:55 2017 +0200
@@ -29,9 +29,9 @@
{
val vfs = VFSManager.getVFSForPath(path)
val node = if (vfs.isInstanceOf[FileVFS]) MiscUtilities.resolveSymlinks(path) else path
- val theory = Thy_Header.theory_name(node)
- val master_dir = if (theory == "") "" else vfs.getParentOfPath(path)
- Document.Node.Name(node, master_dir, theory)
+ val (loaded, theory) = theory_name(default_qualifier, Thy_Header.theory_name(node))
+ if (loaded) Document.Node.Name.loaded_theory(theory)
+ else Document.Node.Name(node, if (theory == "") "" else vfs.getParentOfPath(path), theory)
}
def node_name(buffer: Buffer): Document.Node.Name =