# HG changeset patch
# User wenzelm
# Date 1224620873 -7200
# Node ID c9a96ddfceab7c9c1bf268085caf03f733f0abb7
# Parent  4b7609ffdcd12e259baf9adccf4be5ce6fa04510
explicit home path for default file -- more robust;
pass -settings=... here, not via Isabelle settings -- more robust;

diff -r 4b7609ffdcd1 -r c9a96ddfceab src/Tools/jEdit/dist-template/interface
--- a/src/Tools/jEdit/dist-template/interface	Tue Oct 21 22:00:11 2008 +0200
+++ b/src/Tools/jEdit/dist-template/interface	Tue Oct 21 22:27:53 2008 +0200
@@ -18,7 +18,7 @@
   echo "    -m MODE      add print mode for output"
   echo
   echo "Starts jEdit with Isabelle plugin setup and opens theory FILES"
-  echo "(default Scratch.thy)."
+  echo "(default ~/Scratch.thy)."
   echo
   exit 1
 }
@@ -67,10 +67,10 @@
 
 # args
 
+FILES=""
 if [ "$#" -eq 0 ]; then
-  FILES="isabelle:Scratch.thy"
+  FILES="isabelle:$HOME/Scratch.thy"
 else
-  FILES=""
   while [ "$#" -gt 0 ]; do
     FILES="$FILES 'isabelle:$1'"
     shift
@@ -90,5 +90,5 @@
 
 export JEDIT_LOGIC JEDIT_PRINT_MODE
 
-exec "$ISABELLE_TOOL" java "$JEDIT_JAVA_OPTIONS" \
-  -jar "$JEDIT_HOME/jedit.jar" "$JEDIT_OPTIONS" "$FILES"
+exec "$ISABELLE_TOOL" java $JEDIT_JAVA_OPTIONS \
+  -jar "$JEDIT_HOME/jedit.jar" "-settings=$ISABELLE_HOME_USER/jedit" $JEDIT_OPTIONS $FILES