From: John G. <jge...@ms...> - 2002-03-14 21:22:53
|
>-----Original Message----- >From: jed...@li... >[mailto:jed...@li...]On Behalf Of doug b >Sent: Thursday, March 14, 2002 12:56 PM >To: jEdit Users List >Subject: [ jEdit-users ] Windows L&F fonts too large > > >i prefer using the Windows L&F on my Windows box for a >number of reasons. > >however, now under jEdit4, i can't change my font >sizes for things like the menus and tabs. this is >frustrating because the current sizes are too large - >they're larger than the corresponding text on native >applications. i realize this is common to Java apps >on Windows, but i appreciated that 3.2.2 had a way >around it. on 3.2.2 i used the beanshell script at >startup to change the fonts, but this doesn't work >anymore. > >so, is there any way for me to use the Windows L&F and >still make those fonts smaller? thanks. > >- doug I don't think so, but the fonts you're looking for are built into JDK 1.4. I haven't used jEdit 3.2.2 in a while, but the current version of jEdit 4.0 looks very, very sharp with the Windows L&F and SDK 1.4 John _________________________________________________________________ Get your FREE download of MSN Explorer at http://explorer.msn.com/intl.asp. |