From: Alan E. <ala...@gm...> - 2006-04-29 17:32:39
|
I modified my jedit startup script to switch on swing antialiasing (swing.aatext) for the other widgets. With java 1.5, it makes the fonts easier on the eyes. The useSystemAAFontSettings is supposed to do something with Java 1.6 but I don't think it works yet. exec "$JAVA_HOME/bin/java" "-Dawt.useSystemAAFontSettings=3Dlcd_hrgb" "-Dswing.aatext=3Dtrue" "-Djedit.home=3D$JEDIT_HOME" -mx${JAVA_HEAP_SIZE}m ${JEDIT} -jar "$JEDIT_HOME/jedit.jar" $@ But it would be nice if one could grow/shrink the font sizes like you can in the textarea... I might add that to infoviewer one of these days. On 4/29/06, Andy Streich <an...@ru...> wrote: > Hi, > > Is there anything I can do to improve the help viewer font? It's a bit o= f a > disaster on my system. Running jEdit v4.2final on Java5, Debian Sarge Li= nux. > > Andy > > > ------------------------------------------------------- > Using Tomcat but need to do more? Need to support web services, security? > Get stuff done quickly with pre-integrated technology to make your job ea= sier > Download IBM WebSphere Application Server v.1.0.1 based on Apache Geronim= o > http://sel.as-us.falkag.net/sel?cmd=3Dlnk&kid=3D120709&bid=3D263057&dat= =3D121642 > -- > ----------------------------------------------- > jEdit Developers' List > jEd...@li... > https://lists.sourceforge.net/lists/listinfo/jedit-devel > |