menu

[Andy Choens]

> Don't despair if you don't find the files. Sometimes GNOME is a bit slow
> with reacting to changes in the menu entries. Log out and log back in,
> that should fix it.

Good point.  I have been known to use xkill to force the gnome-panel
to reset.  I'm usre there's an easier way, but it's faster than
logging out and logging in.

After an X-kill, gnome-panel will restart itself without you needing
to do a thing.

--andy