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.

-- 
F1 opens Gnome Terminal Help which is no always what you want
https://bugs.launchpad.net/bugs/31344
You received this bug notification because you are a member of Ubuntu
Bugs, which is a direct subscriber.

-- 
ubuntu-bugs mailing list
ubuntu-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs

Reply via email to