On Tue, 2007-07-17 at 16:10 -0700, der.hans wrote:
> is there a way to reduce the font size evolution uses for menus?
Slight update, depending on your setup (I'm guessing something Debian
based ;) I think you can just change the gconf keys for this:
ted@tres:~$ gconftool -g /desktop/gnome/interface/font_name
Sans 10
ted@tres:~$
You can set it with "-s"
--Ted
---------------------------------------------------
PLUG-discuss mailing list -
PLUG-discuss@lists.plug.phoenix.az.us
To subscribe, unsubscribe, or to change your mail settings:
http://lists.PLUG.phoenix.az.us/mailman/listinfo/plug-discuss