[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Re: j2re1.3 font ??



Hey Jeffrey,

Oof! that's a lot of text to edit =P
Any idea a real quick and easy way to edit it instead of by hand? 
Thanks a lot.

-rohan

* Jeffrey W. Baker (jwbaker@acm.org) wrote:
> 
> 
> On Thu, 18 Oct 2001, Rohan Deshpande wrote:
> 
> > Greetings,
> >
> > I was just wondering if there was a way to change the font of Java from
> > whatever Lucida variant it has to something of my choice.  It messes up
> > the appearance of applets, namely input boxes and whatnot....any ideas?
> > I use java frequently and therefore would like to change this =]
> 
> grep around on your system for a file named "font.properties".  It looks a
> lot like an XFree86 fonts.dir file.  You can edit it by hand.
> 
> Note that this file may be inside a jar file, which is really just a zip
> archive.
> 
> -jwb
> 
> 
> -- 
> To UNSUBSCRIBE, email to debian-user-request@lists.debian.org 
> with a subject of "unsubscribe". Trouble? Contact listmaster@lists.debian.org
> 



Reply to: