Does anyone know of a better way to edit the applications menu in Gnome?
Each time I make a change in an item, the whole menu reloads, and I have to constantly "re-expand" the entries to find the next one I want to edit.
This is really annoying.
I'm using Ubuntu 9.04 x64 (alacarte 0.11.10-0ubuntu1). I've now realized that this behavior is very erratic, as sometimes it occurs (most of the time), sometimes it doesn't.
Any operation will trigger this behavior, like deleting an item, or moving it to another menu.