Re: [ jEdit-users ] Windows L&F fonts too large

[doug b <umm...@ya...>]

well, you convinced me to give it a shot, and you're
right.  much better!

(i was avoiding 1.4 after i installed it once and had
it take over as the default JRE for the whole box. 
aaarrgh!  the IBM JREs ask if you want them to be
default.  so this time i didn't install the JRE at
all.)

thanks.

--- John Gellene <jge...@ms...> wrote:
> 
> >-----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.
> 
> 
> -- 
> -----------------------------------------------
> jEdit Users' List
> jEd...@li...
>
https://lists.sourceforge.net/lists/listinfo/jedit-users


__________________________________________________
Do You Yahoo!?
Yahoo! Sports - live college hoops coverage
http://sports.yahoo.com/