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

Re: Big fonts again



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.
> > 
> > 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-75-*-*-iso8859-1"
> >       }
> > 
> >      class "GtkWidget" style "gtk-default-iso-8859-1"
> > 
> > I followed the font guide that was posted a few weeks/months ago from
> > this list. The fonts that seem out of my control are those on the
> > borders of mozilla and those associated with the title and tool bars of
> > xterms and gnome-terminals. I would really like to figure this out.
> > 
> 
> Those in the title are supposed to be controled by the window manager.
> What window manager are you using?

sawfish.

> 
> > Art Edwards
> > 	   
> > 
> > 
> > -- 
> > To UNSUBSCRIBE, email to debian-user-request@lists.debian.org 
> > with a subject of "unsubscribe". Trouble? Contact listmaster@lists.debian.org
> > 
> 
> 
> -- 
> To UNSUBSCRIBE, email to debian-user-request@lists.debian.org 
> with a subject of "unsubscribe". Trouble? Contact listmaster@lists.debian.org
> 



Reply to: