Re: 100dpi vs 75dpi
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 <vincent@vinc17.org> - 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 debian-user-request@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmaster@lists.debian.org
Reply to: