upstream has been quick to reply and to point that the behaviour is not a bug
** Changed in: gnome-menus (Ubuntu) Status: Triaged => Invalid ** Bug watch added: GNOME Bug Tracker #557443 http://bugzilla.gnome.org/show_bug.cgi?id=557443 ** Also affects: gnome-menus via http://bugzilla.gnome.org/show_bug.cgi?id=557443 Importance: Unknown Status: Unknown -- impossible to override Application menus https://bugs.launchpad.net/bugs/297431 You received this bug notification because you are a member of Ubuntu Desktop Bugs, which is a bug assignee. -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs