On 7/18/07, Ted Gould < ted@gould.cx> wrote:

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