src/Tools/jEdit/src/plugin.scala
changeset 44225 a8f921e6484f
parent 44222 9d5ef6cd4ee1
child 44238 36120feb70ed
     1.1 --- a/src/Tools/jEdit/src/plugin.scala	Tue Aug 16 21:54:06 2011 +0200
     1.2 +++ b/src/Tools/jEdit/src/plugin.scala	Tue Aug 16 22:48:31 2011 +0200
     1.3 @@ -190,9 +190,7 @@
     1.4    {
     1.5      val master_dir = buffer.getDirectory
     1.6      val path = buffer.getSymlinkPath
     1.7 -    if (VFSManager.getVFSForPath(path).isInstanceOf[FileVFS])
     1.8 -      (Isabelle_System.posix_path(master_dir), Isabelle_System.posix_path(path))
     1.9 -    else (master_dir, path)
    1.10 +    (master_dir, path)
    1.11    }
    1.12  
    1.13