author | wenzelm |
Sun, 20 May 2012 11:34:33 +0200 | |
changeset 47884 | 21c42b095c84 |
parent 47235 | a92d3620e156 |
child 49612 | e6a53d203362 |
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" |
45636
202071bb7f86
increased stack limits (again, cf. d9cf3520083c and 77c3e74bd954);
wenzelm
parents:
45057
diff
changeset
|
7 |
JEDIT_JAVA_OPTIONS="-Xms128m -Xmx1024m -Xss4m -Dactors.corePoolSize=4 -Dactors.enableForkJoin=false" |
202071bb7f86
increased stack limits (again, cf. d9cf3520083c and 77c3e74bd954);
wenzelm
parents:
45057
diff
changeset
|
8 |
#JEDIT_JAVA_OPTIONS="-Xms128m -Xmx512m -Xss2m -Dactors.corePoolSize=4 -Dactors.enableForkJoin=false" |
47235
a92d3620e156
more robust Scala 2.9.x interpreter invocation -- avoid separate interpreter thread and thus deadlock of Swing_Thread.now;
wenzelm
parents:
47063
diff
changeset
|
9 |
JEDIT_SYSTEM_OPTIONS="-Dapple.laf.useScreenMenuBar=false |
a92d3620e156
more robust Scala 2.9.x interpreter invocation -- avoid separate interpreter thread and thus deadlock of Swing_Thread.now;
wenzelm
parents:
47063
diff
changeset
|
10 |
-Dcom.apple.mrj.application.apple.menu.about.name=Isabelle/jEdit |
a92d3620e156
more robust Scala 2.9.x interpreter invocation -- avoid separate interpreter thread and thus deadlock of Swing_Thread.now;
wenzelm
parents:
47063
diff
changeset
|
11 |
-Dscala.repl.no-threads=true" |
34664 | 12 |
|
43441
39efc484bc98
proper place for config files (cf. 55866987a7d9);
wenzelm
parents:
43284
diff
changeset
|
13 |
JEDIT_STYLE_SHEETS="$ISABELLE_HOME/etc/isabelle.css:$JEDIT_HOME/etc/isabelle-jedit.css:$ISABELLE_HOME_USER/etc/isabelle.css:$ISABELLE_HOME_USER/etc/isabelle-jedit.css" |
37058
c47653f3ec14
rendering information and style sheets via settings;
wenzelm
parents:
36101
diff
changeset
|
14 |
|
45057
86c9b73158a8
default print mode for Isabelle/Scala, not just Isabelle/jEdit;
wenzelm
parents:
45024
diff
changeset
|
15 |
ISABELLE_JEDIT_OPTIONS="" |
34780 | 16 |
|
34756 | 17 |
ISABELLE_TOOLS="$ISABELLE_TOOLS:$JEDIT_HOME/lib/Tools" |
37058
c47653f3ec14
rendering information and style sheets via settings;
wenzelm
parents:
36101
diff
changeset
|
18 |