On Mon, July 7, 2008 10:09, James B. Byrne wrote:
I have gone to system/preferences/keyboard shortcuts/ and it indicates that "Launch Help Browser" is mapped to F1. There does not seem to be any other entry therein relating to help. How do I set this to a benign value or return gnome terminal to its default settings?
Found it.
Gnome Terminal |--File |--Edit | |--Profiles | |--Keyboard Shortcuts | | |--File ... | | `--HELP | | `--Contents