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 - 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