src/Tools/jEdit/etc/settings
author wenzelm
Fri, 02 May 2014 22:33:34 +0200
changeset 56835 f05dadddf095
parent 56731 326e8a7ea287
child 58641 5697ae9a683a
permissions -rw-r--r--
obsolete in scala-2.11.0;
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"
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"
326e8a7ea287 just one default thread pool (which is hardwired to Runtime.availableProcessors);
wenzelm
parents: 56720
diff changeset
     8
JEDIT_JAVA_OPTIONS="-Xms128m -Xmx1024m -Xss2m"
326e8a7ea287 just one default thread pool (which is hardwired to Runtime.availableProcessors);
wenzelm
parents: 56720
diff changeset
     9
#JEDIT_JAVA_OPTIONS="-Xms512m -Xmx4096m -Xss8m"
56835
f05dadddf095 obsolete in scala-2.11.0;
wenzelm
parents: 56731
diff changeset
    10
JEDIT_SYSTEM_OPTIONS="-Dawt.useSystemAAFontSettings=on -Dswing.aatext=true -Dapple.laf.useScreenMenuBar=true -Dapple.awt.application.name=Isabelle"
34664
8f5fbe4a80ff Isabelle component;
wenzelm
parents:
diff changeset
    11
45057
86c9b73158a8 default print mode for Isabelle/Scala, not just Isabelle/jEdit;
wenzelm
parents: 45024
diff changeset
    12
ISABELLE_JEDIT_OPTIONS=""
34780
d0ff1c3a91ea more serious command line handling;
wenzelm
parents: 34756
diff changeset
    13
34756
c4818d907ca0 tuned JVM settings;
wenzelm
parents: 34665
diff changeset
    14
ISABELLE_TOOLS="$ISABELLE_TOOLS:$JEDIT_HOME/lib/Tools"
56422
7490555d7dff clarified Doc entry: more explicit path;
wenzelm
parents: 54324
diff changeset
    15
ISABELLE_DOCS="$ISABELLE_DOCS:$JEDIT_HOME/dist/doc"
37058
c47653f3ec14 rendering information and style sheets via settings;
wenzelm
parents: 36101
diff changeset
    16