Description of Problem: gnome-terminal now binds F1 to help starting yelp. But with this binding F1 can't be entered into a terminal session. Version-Release number of selected component (if applicable): gnome-terminal-2.0.0.90-1 How Reproducible: Every time. Steps to Reproduce: 1. Start gnome-terminal. 2. Press F1. Actual Results: yelp pops up. Expected Results: F1 should go to the application. Additional Information: I realise the Help binding can be changed with gconf, but I think the default should be something better like say "<control>F1"(?), since using F1 inside a terminal is rather common. Eg tty emacs, etc, etc.
F1 is the standard binding for Help though - that's what you'd use it for in Emacs as well. ;-) I dunno, it's easy enough to change if you use this binding in a terminal app. It seems pretty valuable to have Help on the standard keybinding instead of something weird (though I already used something weird for e.g. copy/paste).
How about using Ctrl-Shift-F1 for help too, like for the cut'n'paste bindings too. Terminal are rather special apps, in that their own keybindings should be as unobtrusive as possible. I wonder too how many gnome-terminal users actually need to look at the help documentation.