author | wenzelm |
Fri, 17 Apr 2015 18:02:32 +0200 | |
changeset 60121 | fd66c0f65c23 |
parent 60087 | bc57cb0c5001 |
child 61132 | 70029aae9a9f |
permissions | -rw-r--r-- |
38155 | 1 |
# -*- shell-script -*- :mode=shellscript: |
2 |
||
34664 | 3 |
JEDIT_HOME="$COMPONENT" |
34880 | 4 |
JEDIT_SETTINGS="$ISABELLE_HOME_USER/jedit" |
34664 | 5 |
|
44956
01a1b3b3341f
raised default log level -- to avoid confusing warning about scala.tools.nsc.plugins.Plugin, which is mistaken as jEdit plugin;
wenzelm
parents:
43671
diff
changeset
|
6 |
JEDIT_OPTIONS="-reuseview -noserver -nobackground -log=9" |
56731
326e8a7ea287
just one default thread pool (which is hardwired to Runtime.availableProcessors);
wenzelm
parents:
56720
diff
changeset
|
7 |
#JEDIT_JAVA_OPTIONS="-Xms128m -Xmx512m -Xss1m" |
58641
5697ae9a683a
afford slightly bigger JVM stack (see also f7ba30a816b9);
wenzelm
parents:
56835
diff
changeset
|
8 |
JEDIT_JAVA_OPTIONS="-Xms128m -Xmx1024m -Xss4m" |
56731
326e8a7ea287
just one default thread pool (which is hardwired to Runtime.availableProcessors);
wenzelm
parents:
56720
diff
changeset
|
9 |
#JEDIT_JAVA_OPTIONS="-Xms512m -Xmx4096m -Xss8m" |
60121
fd66c0f65c23
just one line, to make it work with makedist_bundle;
wenzelm
parents:
60087
diff
changeset
|
10 |
JEDIT_SYSTEM_OPTIONS="-Duser.language=en -Dawt.useSystemAAFontSettings=on -Dswing.aatext=true -Dapple.laf.useScreenMenuBar=true -Dapple.awt.application.name=Isabelle" |
34664 | 11 |
|
45057
86c9b73158a8
default print mode for Isabelle/Scala, not just Isabelle/jEdit;
wenzelm
parents:
45024
diff
changeset
|
12 |
ISABELLE_JEDIT_OPTIONS="" |
34780 | 13 |
|
34756 | 14 |
ISABELLE_TOOLS="$ISABELLE_TOOLS:$JEDIT_HOME/lib/Tools" |
56422 | 15 |
ISABELLE_DOCS="$ISABELLE_DOCS:$JEDIT_HOME/dist/doc" |
37058
c47653f3ec14
rendering information and style sheets via settings;
wenzelm
parents:
36101
diff
changeset
|
16 |