the gnome-ui-properties option to edit menu is not activated by default, you probably changed that setting. There is no reason to have shortcuts not working on some parts of the UI. Marking as rejected since that's not a bug -- help shortcut key breaks document search https://launchpad.net/bugs/67791