changeset 45099 | a8f921e6484f |
parent 45096 | 9d5ef6cd4ee1 |
child 45109 | 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