Re: Big fonts again
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?
> Art Edwards
>
>
>
> --
> To UNSUBSCRIBE, email to debian-user-request@lists.debian.org
> with a subject of "unsubscribe". Trouble? Contact listmaster@lists.debian.org
>
Reply to: