Re: 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).

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

an alternative, but maybe not as-good looking might be:

http://sawfish.wikia.com/wiki/Customize-messages

(I used it ages ago, but as far as I can remember it also works for menus).

On Tuesday 04 September 2012 13:23:58 Richard wrote:

Forgive a couple of stupid questions. I've searched for these answers but got 
nowhere:

- Is it possible to change the appearance (font/colour/size) for popup menus?

- Although I have managed to adjust window-ops-menu by directly editing 
menus.jl, is it feasible to alter or reset it programatically in sawfish/rc?

Thanks, Richard.

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)

iQEcBAABAgAGBQJQRmaXAAoJEEudM3UFdUniy4YH/jbt6hjFB9NBKT5J1lFKq/fd
8xpsyCHWUpJsrh4ZM3GN6XvkuSveZX7qPL1pWFQdg9Q62B1M13DcL6okJBnNb2FU
jpFlN+dkioGcIkWI3eOc0tSiQ2CxcxLuBjRhtuE1UXe2FfFwT5mRnLRcPjD4cOuO
tY6PvZPVmNZQ0CgMtesk8gCrJX/jW/VopiwvqLCOE2IuU4V6Txd/5Z+qDpq4447v
P8aoGMxgjewTkav2PWuTWdRgaPMHI8/SyelDGzvzrga6Gx+eVTrlXOVBLbI5Zf+h
WDKN2mAVNNJOKU1PDXmf3c+87okXM+Roj4/eDfxuemQbay4VblAGDb7h+GeSkvQ=
=l5Rh
-----END PGP SIGNATURE-----