# HG changeset patch
# User wenzelm
# Date 1406975070 -7200
# Node ID e212e2001b2a1a19a6b61ed5bd87c01d13a7a68c
# Parent  074cb68b40a88149e13c5db814a32efce538aa2e
always resolve symlinks for local files, e.g. relevant for ML_file to load proper source via editor instead of stored file via prover;

diff -r 074cb68b40a8 -r e212e2001b2a src/Tools/jEdit/src/jedit_resources.scala
--- 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)