less ambitious options, to accomodate 4GB systems;
authorwenzelm
Thu Sep 10 11:47:14 2015 +0200 (2015-09-10 ago)
changeset 61148b3efd7552d83
parent 61147 263a354329e9
child 61149 3e28b08d62c0
less ambitious options, to accomodate 4GB systems;
etc/settings
src/Tools/jEdit/etc/settings
     1.1 --- a/etc/settings	Thu Sep 10 11:03:29 2015 +0200
     1.2 +++ b/etc/settings	Thu Sep 10 11:47:14 2015 +0200
     1.3 @@ -40,7 +40,7 @@
     1.4  ISABELLE_BUILD_OPTIONS=""
     1.5  
     1.6  ISABELLE_BUILD_JAVA_OPTIONS32="-Djava.awt.headless=true -Xms128m -Xmx1024m -Xss1m"
     1.7 -ISABELLE_BUILD_JAVA_OPTIONS64="-Djava.awt.headless=true -Xms512m -Xmx4096m -Xss4m"
     1.8 +ISABELLE_BUILD_JAVA_OPTIONS64="-Djava.awt.headless=true -Xms512m -Xmx2560m -Xss4m"
     1.9  
    1.10  
    1.11  ###
     2.1 --- a/src/Tools/jEdit/etc/settings	Thu Sep 10 11:03:29 2015 +0200
     2.2 +++ b/src/Tools/jEdit/etc/settings	Thu Sep 10 11:47:14 2015 +0200
     2.3 @@ -6,7 +6,7 @@
     2.4  JEDIT_OPTIONS="-reuseview -noserver -nobackground -log=9"
     2.5  
     2.6  JEDIT_JAVA_OPTIONS32="-Xms128m -Xmx1024m -Xss4m"
     2.7 -JEDIT_JAVA_OPTIONS64="-Xms512m -Xmx4096m -Xss8m"
     2.8 +JEDIT_JAVA_OPTIONS64="-Xms512m -Xmx2560m -Xss8m"
     2.9  JEDIT_JAVA_SYSTEM_OPTIONS="-Duser.language=en -Dawt.useSystemAAFontSettings=on -Dswing.aatext=true -Dapple.laf.useScreenMenuBar=true -Dapple.awt.application.name=Isabelle"
    2.10  
    2.11  ISABELLE_JEDIT_OPTIONS=""