On Thu, 20 Aug 2009, Matthew Brand wrote: > Do you know what the smallest font is? I have found 8 point ones so > far, which do show a little bit more of the text. Do you know if there > are there any 4 point ones?
Actually I seldom use the java frontend. It should be OK to enter the font name and size just by using keyboard. (In fact under my debian's default java, the font chooser dialog does not display). You can try 4pt or 6pt as well. -- regards, ==================================================== GPG key 1024D/4434BAB3 2008-08-24 gpg --keyserver subkeys.pgp.net --recv-keys 4434BAB3 ---------------------------------------------------------------------- For information about J forums see http://www.jsoftware.com/forums.htm
