# HG changeset patch
# User wenzelm
# Date 1353182471 -3600
# Node ID d203e98ef5c945f13d97eca80d4ff61491f20746
# Parent  6c857312c9f51f2e217ac85ece1cf8b9db983c35
prefer absolute default $USER_HOME/Scratch.thy;

diff -r 6c857312c9f5 -r d203e98ef5c9 src/Tools/jEdit/lib/Tools/jedit
--- a/src/Tools/jEdit/lib/Tools/jedit	Sat Nov 17 20:47:56 2012 +0100
+++ b/src/Tools/jEdit/lib/Tools/jedit	Sat Nov 17 21:01:11 2012 +0100
@@ -69,7 +69,7 @@
   echo "    -m MODE      add print mode for output"
   echo
   echo "Start jEdit with Isabelle plugin setup and opens theory FILES"
-  echo "(default Scratch.thy)."
+  echo "(default \"$USER_HOME/Scratch.thy\")."
   echo
   exit 1
 }
@@ -153,7 +153,7 @@
 # args
 
 if [ "$#" -eq 0 ]; then
-  ARGS["${#ARGS[@]}"]="Scratch.thy"
+  ARGS["${#ARGS[@]}"]="$USER_HOME/Scratch.thy"
 else
   while [ "$#" -gt 0 ]; do
     ARGS["${#ARGS[@]}"]="$(jvmpath "$1")"