On Wed, Apr 10, 2002 at 09:09:07 -0700, Craig Dickson wrote: > If your GTK apps have overly large fonts, you can adjust that in your > GTK theme. If you use GNOME, the GNOME control panel's "Appearance" dialog > allows you to override the GTK theme's font.
I have huge fonts in my GTK apps and I'd like smaller ones. How can I change that? (I don't use GNOME.) -- Vincent Lefèvre <[EMAIL PROTECTED]> - Web: <http://www.vinc17.org/> - 100% validated (X)HTML - Acorn Risc PC, Yellow Pig 17, Championnat International des Jeux Mathématiques et Logiques, TETRHEX, etc. Work: CR INRIA - computer arithmetic / SPACES project at LORIA -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
