Ubuntu
gnome-menus package

  1. Bug #96694
  2. Comment #3

Comment 3 for bug 96694

Revision history for this message
Travis Watkins (amaranth) wrote :

Menu Editor is now System->Preferences->Main Menu (sorry!), dunno about the other one. Either way, I'm pretty sure this is a gnome-menus bug.