closing that bug, that's not really a gnome-menus bug. If we want to change one day a spec will probably be a better option
** Changed in: gnome-menus (Ubuntu)
Status: Confirmed => Rejected
** Changed in: gnome-menus (Ubuntu)
Assignee: Jeff Waugh => Ubuntu Desktop Bugs
--
menu should be desktop independent
https://launchpad.net/bugs/12369
--
desktop-bugs mailing list
desktop-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
