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