equal
deleted
inserted
replaced
1 # -*- shell-script -*- :mode=shellscript: |
1 # -*- shell-script -*- :mode=shellscript: |
2 |
2 |
3 JEDIT_HOME="$COMPONENT" |
3 JEDIT_HOME="$COMPONENT" |
4 JEDIT_SETTINGS="$ISABELLE_HOME_USER/jedit" |
4 JEDIT_SETTINGS="$ISABELLE_HOME_USER/jedit" |
5 |
5 |
6 JEDIT_OPTIONS="-reuseview -noserver -nobackground -log=9" |
6 JEDIT_OPTIONS="-reuseview -nobackground -log=9" |
7 |
7 |
8 JEDIT_JAVA_OPTIONS32="-Xms128m -Xmx1024m -Xss4m -XX:MetaspaceSize=128m" |
8 JEDIT_JAVA_OPTIONS32="-Xms128m -Xmx1024m -Xss4m -XX:MetaspaceSize=128m" |
9 JEDIT_JAVA_OPTIONS64="-Xms512m -Xmx2560m -Xss8m -XX:MetaspaceSize=256m" |
9 JEDIT_JAVA_OPTIONS64="-Xms512m -Xmx2560m -Xss8m -XX:MetaspaceSize=256m" |
10 JEDIT_JAVA_SYSTEM_OPTIONS="-Duser.language=en -Dawt.useSystemAAFontSettings=on -Dswing.aatext=true -Dapple.laf.useScreenMenuBar=true -Dapple.awt.application.name=Isabelle" |
10 JEDIT_JAVA_SYSTEM_OPTIONS="-Duser.language=en -Dawt.useSystemAAFontSettings=on -Dswing.aatext=true -Dapple.laf.useScreenMenuBar=true -Dapple.awt.application.name=Isabelle" |
11 |
11 |