src/Tools/jEdit/src/jedit_resources.scala
changeset 57841 e212e2001b2a
parent 57622 2da79fca5708
child 59077 7e0d3da6e6d8
--- a/src/Tools/jEdit/src/jedit_resources.scala	Sat Aug 02 11:39:13 2014 +0200
+++ b/src/Tools/jEdit/src/jedit_resources.scala	Sat Aug 02 12:24:30 2014 +0200
@@ -49,7 +49,8 @@
   override def append(dir: String, source_path: Path): String =
   {
     val path = source_path.expand
-    if (dir == "" || path.is_absolute) Isabelle_System.platform_path(path)
+    if (dir == "" || path.is_absolute)
+      MiscUtilities.resolveSymlinks(Isabelle_System.platform_path(path))
     else if (path.is_current) dir
     else {
       val vfs = VFSManager.getVFSForPath(dir)