Public bug report changed: https://launchpad.net/malone/bugs/31344 Comment: Nah, that disables F10, not F1. :-) Even the more liberally labeled "Disable all menu access keys" still does not disable F1. Seems like F1 is masked by Gnome Help unless you find it in the list and reconfigure it.