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:
[EMAIL PROTECTED]:~$ gconftool -g /desktop/gnome/interface/font_name
Sans 10
[EMAIL PROTECTED]:~$
You can set it with "-s"
--Ted
signature.asc
Description: This is a digitally signed message part
--------------------------------------------------- PLUG-discuss mailing list - [email protected] To subscribe, unsubscribe, or to change your mail settings: http://lists.PLUG.phoenix.az.us/mailman/listinfo/plug-discuss
