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 [EMAIL PROTECTED]
> > with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
> >
>
>
> --
> To UNSUBSCRIBE, email to [EMAIL PROTECTED]
> with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
>
--
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
