src/Tools/jEdit/src/plugin.scala
changeset 44221 bff7f7afb2db
parent 44185 05641edb5d30
child 44222 9d5ef6cd4ee1
     1.1 --- a/src/Tools/jEdit/src/plugin.scala	Mon Aug 15 19:42:52 2011 -0700
     1.2 +++ b/src/Tools/jEdit/src/plugin.scala	Tue Aug 16 12:06:49 2011 +0200
     1.3 @@ -334,8 +334,8 @@
     1.4        else {
     1.5          val vfs = VFSManager.getVFSForPath(master_dir)
     1.6          if (vfs.isInstanceOf[FileVFS])
     1.7 -          MiscUtilities.resolveSymlinks(
     1.8 -            vfs.constructPath(master_dir, Isabelle_System.platform_path(path)))
     1.9 +          vfs.constructPath(master_dir, Isabelle_System.platform_path(path))
    1.10 +          // FIXME MiscUtilities.resolveSymlinks (!?)
    1.11          else vfs.constructPath(master_dir, Isabelle_System.standard_path(path))
    1.12        }
    1.13      }