Ok, to clarify:
1. Open the menu
2. Try and switch panels (or use the keyboard at all while the menu is open)
3. Watch it fail
** Changed in: Ubuntu
Sourcepackagename: None => gnome-menus
Status: Unconfirmed => Needs Info
--
a little problem with ubuntu menu on gnome
https://launchpad.net/bugs/57939