src/Tools/jEdit/etc/settings
author wenzelm
Sun, 20 May 2012 11:34:33 +0200
changeset 47884 21c42b095c84
parent 47235 a92d3620e156
child 49612 e6a53d203362
permissions -rw-r--r--
try to avoid races again (cf. 8c37cb84065f and fd3a36e48b09);
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
38155
e669779bb8c4 editor mode;
wenzelm
parents: 37058
diff changeset
     1
# -*- shell-script -*- :mode=shellscript:
e669779bb8c4 editor mode;
wenzelm
parents: 37058
diff changeset
     2
34664
8f5fbe4a80ff Isabelle component;
wenzelm
parents:
diff changeset
     3
JEDIT_HOME="$COMPONENT"
34880
f88fc4fcab86 provide JEDIT_SETTINGS via settings;
wenzelm
parents: 34804
diff changeset
     4
JEDIT_SETTINGS="$ISABELLE_HOME_USER/jedit"
34664
8f5fbe4a80ff Isabelle component;
wenzelm
parents:
diff changeset
     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
8f5fbe4a80ff Isabelle component;
wenzelm
parents:
diff changeset
    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
d0ff1c3a91ea more serious command line handling;
wenzelm
parents: 34756
diff changeset
    16
34756
c4818d907ca0 tuned JVM settings;
wenzelm
parents: 34665
diff changeset
    17
ISABELLE_TOOLS="$ISABELLE_TOOLS:$JEDIT_HOME/lib/Tools"
37058
c47653f3ec14 rendering information and style sheets via settings;
wenzelm
parents: 36101
diff changeset
    18