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