| author | wenzelm |
| Tue, 18 Feb 2025 19:59:42 +0100 | |
| changeset 82195 | d818267e7821 |
| parent 82182 | 137559b26f74 |
| child 82638 | e8674158bbba |
| permissions | -rw-r--r-- |
| 38155 | 1 |
# -*- shell-script -*- :mode=shellscript: |
2 |
||
|
45057
86c9b73158a8
default print mode for Isabelle/Scala, not just Isabelle/jEdit;
wenzelm
parents:
45024
diff
changeset
|
3 |
ISABELLE_JEDIT_OPTIONS="" |
|
73987
fc363a3b690a
build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
71791
diff
changeset
|
4 |
ISABELLE_TOOLS="$ISABELLE_TOOLS:$COMPONENT/lib/Tools" |
|
82182
137559b26f74
move some settings to Isabelle repository (in contrast to fc363a3b690a), to facilitate changes without rebuilding the jedit component;
wenzelm
parents:
73987
diff
changeset
|
5 |
|
|
137559b26f74
move some settings to Isabelle repository (in contrast to fc363a3b690a), to facilitate changes without rebuilding the jedit component;
wenzelm
parents:
73987
diff
changeset
|
6 |
JEDIT_OPTIONS="-reuseview -nobackground -nosplash -log=9" |
|
137559b26f74
move some settings to Isabelle repository (in contrast to fc363a3b690a), to facilitate changes without rebuilding the jedit component;
wenzelm
parents:
73987
diff
changeset
|
7 |
JEDIT_JAVA_OPTIONS="-Xms512m -Xmx4g -Xss16m" |
|
137559b26f74
move some settings to Isabelle repository (in contrast to fc363a3b690a), to facilitate changes without rebuilding the jedit component;
wenzelm
parents:
73987
diff
changeset
|
8 |
JEDIT_JAVA_SYSTEM_OPTIONS="-Dsun.java2d.metal=false -Duser.language=en -Dawt.useSystemAAFontSettings=on -Dswing.aatext=true -Dapple.laf.useScreenMenuBar=true -Dapple.awt.application.name=Isabelle" |