[Bug 614651] Gnome main menu keyboard navigation issue