# HG changeset patch
# User wenzelm
# Date 1289997533 -3600
# Node ID 2265638295805a7b3eef36d0c4a0fe40803a11ce
# Parent  113ccf02d3239eda551df1dc7a6e9de80383e87f
refrain from opening Scratch.thy by default, to avoid bombing the editor with old/long theory text;

diff -r 113ccf02d323 -r 226563829580 src/Tools/jEdit/dist-template/lib/Tools/jedit
--- a/src/Tools/jEdit/dist-template/lib/Tools/jedit	Wed Nov 17 11:24:07 2010 +0100
+++ b/src/Tools/jEdit/dist-template/lib/Tools/jedit	Wed Nov 17 13:38:53 2010 +0100
@@ -24,7 +24,6 @@
   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
   exit 1
 }
@@ -93,14 +92,10 @@
 
 # args
 
-if [ "$#" -eq 0 ]; then
-  ARGS["${#ARGS[@]}"]="Scratch.thy"
-else
-  while [ "$#" -gt 0 ]; do
-    ARGS["${#ARGS[@]}"]="$(jvmpath "$1")"
-    shift
-  done
-fi
+while [ "$#" -gt 0 ]; do
+  ARGS["${#ARGS[@]}"]="$(jvmpath "$1")"
+  shift
+done
 
 
 ## default perspective