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: