# HG changeset patch
# User wenzelm
# Date 1334697886 -7200
# Node ID 9c8a1b9c0630220eaaccc2ded7628b3b5345a2c7
# Parent  f80c6d4927636ea4374f9431635ed1fc3654368f
retain ISABELLE_HOME_WINDOWS which is useful for jEdit to fold file names symbolically, but without DOS expansion that causes problems with Cygwin/Posix roundtrip (cf. 5a7903ba2dac);

diff -r f80c6d492763 -r 9c8a1b9c0630 lib/scripts/getsettings
--- a/lib/scripts/getsettings	Tue Apr 17 22:26:36 2012 +0200
+++ b/lib/scripts/getsettings	Tue Apr 17 23:24:46 2012 +0200
@@ -14,7 +14,7 @@
 #JVM path wrapper
 if [ "$OSTYPE" = cygwin ]
 then
-  ISABELLE_HOME_WINDOWS="$(cygpath -d "$(dirname "$ISABELLE_HOME")")\\$(basename "$ISABELLE_HOME")"
+  ISABELLE_HOME_WINDOWS="$(cygpath -w "$(dirname "$ISABELLE_HOME")")\\$(basename "$ISABELLE_HOME")"
   ISABELLE_HOME="$(cygpath -u "$ISABELLE_HOME_WINDOWS")"
 
   CLASSPATH="$(cygpath -i -u -p "$CLASSPATH")"