Re: Beginners menu questions

>________________________________
> From: Christopher Roy Bratusek <[email protected]>
>To: [email protected] 
>Sent: Tuesday, 4 September 2012, 21:37
>Subject: Re: [Sawfish] Beginners menu questions
> 
>
>A note first of all: we do prefer non-html mails. (when you reply in-line plain messages are way better - though we don't force you to).


I did not realise - I hang my head in shame and will try to remember next time.


> 
>popup-menus are full-fledged GTK menus you may want to change GTK+ font and theme in order to modify them. if you don't run GNOME or a desktop with settings-daemon you may create $HOME/.gtkrc-2.0; example:
> 
>include "/usr/share/themes/TerraNova-Candy/gtk-2.0/gtkrc"
>include "/etc/gtk-2.0/gtkrc"
>style "user-font" 
>{
>font_name="DejaVu Sans"
>}
>widget_class "*" style "user-font"
>gtk-font-name="DejaVu Sans 10"
>gtk-theme-name="TerraNova-Candy"
>gtk-icon-theme-name="oxygen-refit-2"
>gtk-fallback-icon-theme="gnome"
>gtk-toolbar-style=GTK_TOOLBAR_ICONS
>gtk-menu-images=0


Great, thanks.

R.

-- 
Sawfish ML