34664
|
1 |
JEDIT_HOME="$COMPONENT"
|
34880
|
2 |
JEDIT_SETTINGS="$ISABELLE_HOME_USER/jedit"
|
34664
|
3 |
|
36101
|
4 |
JEDIT_APPLE_PROPERTIES="-Dapple.laf.useScreenMenuBar=true -Dcom.apple.mrj.application.apple.menu.about.name=Isabelle/jEdit"
|
|
5 |
JEDIT_JAVA_OPTIONS="-Xms128m -Xmx512m -Xss2m $JEDIT_APPLE_PROPERTIES"
|
|
6 |
#JEDIT_JAVA_OPTIONS="-server -Xms128m -Xmx1024m -Xss4m $JEDIT_APPLE_PROPERTIES"
|
34664
|
7 |
JEDIT_OPTIONS="-reuseview -noserver -nobackground"
|
|
8 |
|
34780
|
9 |
ISABELLE_JEDIT_OPTIONS="-m xsymbols -m no_brackets -m no_type_brackets"
|
|
10 |
|
34756
|
11 |
ISABELLE_TOOLS="$ISABELLE_TOOLS:$JEDIT_HOME/lib/Tools"
|