src/Tools/jEdit/etc/settings
changeset 56835 f05dadddf095
parent 56731 326e8a7ea287
child 58641 5697ae9a683a
equal deleted inserted replaced
56834:a752f065f3d3 56835:f05dadddf095
     5 
     5 
     6 JEDIT_OPTIONS="-reuseview -noserver -nobackground -log=9"
     6 JEDIT_OPTIONS="-reuseview -noserver -nobackground -log=9"
     7 #JEDIT_JAVA_OPTIONS="-Xms128m -Xmx512m -Xss1m"
     7 #JEDIT_JAVA_OPTIONS="-Xms128m -Xmx512m -Xss1m"
     8 JEDIT_JAVA_OPTIONS="-Xms128m -Xmx1024m -Xss2m"
     8 JEDIT_JAVA_OPTIONS="-Xms128m -Xmx1024m -Xss2m"
     9 #JEDIT_JAVA_OPTIONS="-Xms512m -Xmx4096m -Xss8m"
     9 #JEDIT_JAVA_OPTIONS="-Xms512m -Xmx4096m -Xss8m"
    10 JEDIT_SYSTEM_OPTIONS="-Dawt.useSystemAAFontSettings=on -Dswing.aatext=true -Dapple.laf.useScreenMenuBar=true -Dapple.awt.application.name=Isabelle -Dscala.repl.no-threads=true"
    10 JEDIT_SYSTEM_OPTIONS="-Dawt.useSystemAAFontSettings=on -Dswing.aatext=true -Dapple.laf.useScreenMenuBar=true -Dapple.awt.application.name=Isabelle"
    11 
    11 
    12 ISABELLE_JEDIT_OPTIONS=""
    12 ISABELLE_JEDIT_OPTIONS=""
    13 
    13 
    14 ISABELLE_TOOLS="$ISABELLE_TOOLS:$JEDIT_HOME/lib/Tools"
    14 ISABELLE_TOOLS="$ISABELLE_TOOLS:$JEDIT_HOME/lib/Tools"
    15 ISABELLE_DOCS="$ISABELLE_DOCS:$JEDIT_HOME/dist/doc"
    15 ISABELLE_DOCS="$ISABELLE_DOCS:$JEDIT_HOME/dist/doc"