begin Vincent Lefevre quotation:
> I have huge fonts in my GTK apps and I'd like smaller ones. How can
> I change that? (I don't use GNOME.)
Add something like the following to the end of your $HOME/.gtkrc file.
Change the 12 to the pixel height you want for your UI fonts. You may
want to change the character set also if you want to use something other
than iso8859-1.
style "user-font"
{
fontset ="-adobe-helvetica-medium-r-normal-*-12-*-*-*-p-*-iso8859-1"
}
widget_class "*" style "user-font"
Attachment:
pgpGnbVoDYY66.pgp
Description: PGP signature