author | wenzelm |
Tue, 05 Jul 2011 21:53:59 +0200 | |
changeset 43671 | a250b092ac66 |
parent 43441 | 39efc484bc98 |
child 44956 | 01a1b3b3341f |
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 |
|
6 |
JEDIT_OPTIONS="-reuseview -noserver -nobackground" |
|
40565
40cefa372680
more reasonably defaults for typical laptops (2 GB RAM, 2 cores);
wenzelm
parents:
40156
diff
changeset
|
7 |
JEDIT_JAVA_OPTIONS="-Xms128m -Xmx1024m -Xss4m -Dactors.corePoolSize=4 -Dactors.enableForkJoin=false" |
40cefa372680
more reasonably defaults for typical laptops (2 GB RAM, 2 cores);
wenzelm
parents:
40156
diff
changeset
|
8 |
#JEDIT_JAVA_OPTIONS="-Xms128m -Xmx512m -Xss2m -Dactors.corePoolSize=4 -Dactors.enableForkJoin=false" |
40156
ac648bedd5dc
back again to non-Apple font rendering (cf. 4977324373f2);
wenzelm
parents:
39707
diff
changeset
|
9 |
JEDIT_SYSTEM_OPTIONS="-Dapple.laf.useScreenMenuBar=true -Dcom.apple.mrj.application.apple.menu.about.name=Isabelle/jEdit" |
34664 | 10 |
|
43441
39efc484bc98
proper place for config files (cf. 55866987a7d9);
wenzelm
parents:
43284
diff
changeset
|
11 |
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
|
12 |
|
43671
a250b092ac66
hard-wired print mode "xsymbols" increases chance that "iff" in HOL will print symbolic arrow;
wenzelm
parents:
43441
diff
changeset
|
13 |
ISABELLE_JEDIT_OPTIONS="-m no_brackets -m no_type_brackets" |
34780 | 14 |
|
34756 | 15 |
ISABELLE_TOOLS="$ISABELLE_TOOLS:$JEDIT_HOME/lib/Tools" |
37058
c47653f3ec14
rendering information and style sheets via settings;
wenzelm
parents:
36101
diff
changeset
|
16 |