src/Tools/jEdit/src/jedit_resources.scala
changeset 65476 a72ae9eb4462
parent 65472 f83081bcdd0e
child 65501 b42743f5b595
     1.1 --- a/src/Tools/jEdit/src/jedit_resources.scala	Wed Apr 12 23:44:33 2017 +0200
     1.2 +++ b/src/Tools/jEdit/src/jedit_resources.scala	Thu Apr 13 12:19:28 2017 +0200
     1.3 @@ -29,7 +29,7 @@
     1.4    {
     1.5      val vfs = VFSManager.getVFSForPath(path)
     1.6      val node = if (vfs.isInstanceOf[FileVFS]) MiscUtilities.resolveSymlinks(path) else path
     1.7 -    loaded_theory_name(default_qualifier, Thy_Header.theory_name(node)) match {
     1.8 +    theory_name(default_qualifier, 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)