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