src/Tools/jEdit/src/jedit_resources.scala
changeset 65532 febfd9f78bd4
parent 65524 0910f1733909
child 66195 bb886f13623a
--- a/src/Tools/jEdit/src/jedit_resources.scala	Fri Apr 21 13:51:43 2017 +0200
+++ b/src/Tools/jEdit/src/jedit_resources.scala	Fri Apr 21 14:09:03 2017 +0200
@@ -32,7 +32,7 @@
     known_file(path) getOrElse {
       val vfs = VFSManager.getVFSForPath(path)
       val node = if (vfs.isInstanceOf[FileVFS]) MiscUtilities.resolveSymlinks(path) else path
-      theory_name(default_qualifier, Thy_Header.theory_name(node)) match {
+      theory_name(Sessions.DRAFT, Thy_Header.theory_name(node)) match {
         case (true, theory) => Document.Node.Name.loaded_theory(theory)
         case (false, theory) =>
           val master_dir = if (theory == "") "" else vfs.getParentOfPath(path)