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