Mercurial Mercurial > wneuper > isa / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | bz2 | gz | help
make double sure that AWT/Swing antialiasing is enabled (see also http://www.jedit.org/users-guide/jvm-options.html and jdk/src/share/classes/sun/awt/SunToolkit.java);
authorwenzelm
Fri, 11 Oct 2013 12:06:26 +0200
changeset 55212dabaf9ca1513
parent 55211 d521407f8d0f
child 55213 2c4155003352
make double sure that AWT/Swing antialiasing is enabled (see also http://www.jedit.org/users-guide/jvm-options.html and jdk/src/share/classes/sun/awt/SunToolkit.java);
src/Tools/jEdit/etc/settings file | annotate | diff | comparison | revisions 
     1.1 --- a/src/Tools/jEdit/etc/settings	Thu Oct 10 18:02:08 2013 +0200
     1.2 +++ b/src/Tools/jEdit/etc/settings	Fri Oct 11 12:06:26 2013 +0200
     1.3 @@ -7,7 +7,7 @@
     1.4  #JEDIT_JAVA_OPTIONS="-Xms128m -Xmx512m -Xss1m -Dactors.corePoolSize=4 -Dactors.enableForkJoin=false"
     1.5  JEDIT_JAVA_OPTIONS="-Xms128m -Xmx1024m -Xss2m -Dactors.corePoolSize=4 -Dactors.enableForkJoin=false"
     1.6  #JEDIT_JAVA_OPTIONS="-Xms512m -Xmx4096m -Xss8m -Dactors.corePoolSize=4 -Dactors.enableForkJoin=false"
     1.7 -JEDIT_SYSTEM_OPTIONS="-Dapple.laf.useScreenMenuBar=true -Dapple.awt.application.name=Isabelle -Dscala.repl.no-threads=true"
     1.8 +JEDIT_SYSTEM_OPTIONS="-Dawt.useSystemAAFontSettings=on -Dswing.aatext=true -Dapple.laf.useScreenMenuBar=true -Dapple.awt.application.name=Isabelle -Dscala.repl.no-threads=true"
     1.9  
    1.10  ISABELLE_JEDIT_OPTIONS=""
    1.11
wneuper/isa