Re: Big fonts again

2003-11-17 Thread user list
On Mon, Nov 17, 2003 at 09:06:06PM +0200, Micha Feigin wrote: > On Mon, Nov 17, 2003 at 10:13:56AM -0700, user list wrote: > > I have been struggling with fonts, with some success, for the last few > > months. Now I have fonts that have nice shapes, but are HUGE. I'm > > running a testing box. > >

Re: Big fonts again

2003-11-17 Thread Micha Feigin
On Mon, Nov 17, 2003 at 10:13:56AM -0700, user list wrote: > I have been struggling with fonts, with some success, for the last few > months. Now I have fonts that have nice shapes, but are HUGE. I'm > running a testing box. > > I have a .gtkrc.min file that looks like this. > > style "gtk-defau

Big fonts again

2003-11-17 Thread user list
I have been struggling with fonts, with some success, for the last few months. Now I have fonts that have nice shapes, but are HUGE. I'm running a testing box. I have a .gtkrc.min file that looks like this. style "gtk-default-iso-8859-1" { fontset = "-adobe-helvetica-medium-r-normal--0-100-75-7