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
--
ubuntu-bugs mailing list
[email protected]
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
