[Bug 328122] gnome-main-menu and keyboard navigation