Well sure that would almost work, except you are going to have to patch gnome-menus rather than gnome-panel.
I don't really have time to work on gnome-flashback stuff, but would be happy to review/sponsor patches. -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1267787 Title: Menus in gnome-session-flashback are bloated in Trusty To manage notifications about this bug go to: https://bugs.launchpad.net/gnome-panel/+bug/1267787/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs