Comment 8 for bug 31344

Revision history for this message
mezhaka (mezhaka) wrote : Re: F1 opens Gnome Terminal Help which is no always what you want

Hey thank you guys -- the disabling of F1 in the terminal Edit->Keyboard Shortcuts... works just fine. I've found this page googling by
ubuntu terminal F1

Personally I don't think the proposed chages are worth implementing. It might be easier to mention that it is possible to disable GNOME F1 behavior in the default terminal help, i.e. if i want help from some app wich works in terminal, but get the terminal help when pressing F1, the default help page which will show up can mention that it is possible to disable this behavior in the aforementioned fashion.

Thanks for the tip again.