Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
actually use JEDIT_JAVA_OPTIONS from settings, not ..._ARGS;
authorwenzelm
Wed, 16 Dec 2009 14:40:31 +0100
changeset 34790 643c48774b17
parent 34789 30528e68f774
child 34791 b97d5b38dea4
actually use JEDIT_JAVA_OPTIONS from settings, not ..._ARGS;
src/Tools/jEdit/dist-template/lib/Tools/jedit file | annotate | diff | comparison | revisions 
--- a/src/Tools/jEdit/dist-template/lib/Tools/jedit	Tue Dec 15 20:44:59 2009 +0100
+++ b/src/Tools/jEdit/dist-template/lib/Tools/jedit	Wed Dec 16 14:40:31 2009 +0100
@@ -76,7 +76,7 @@
   done
 }
 
-declare -a JAVA_ARGS; eval "JAVA_ARGS=($JEDIT_JAVA_ARGS)"
+declare -a JAVA_ARGS; eval "JAVA_ARGS=($JEDIT_JAVA_OPTIONS)"
 declare -a ARGS; eval "ARGS=($JEDIT_OPTIONS)"
 
 declare -a OPTIONS; eval "OPTIONS=($ISABELLE_JEDIT_OPTIONS)"
isabelle