When/how do the gnome menus get updated? I just installed two programs via apt-get and neither shows in either the regular gnome menus nor the debian menu even though both have entries in /usr/share/menu. -- "Be regular and orderly in your life, that you may be violent and original in your work." -- Clive Barker Rick Pasotto rick@niof.net http://www.niof.net