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
** Changed in: gnome-terminal (Ubuntu)
Assignee: (unassigned) = Ubuntu Desktop Bugs
Status: Confirmed = Triaged
--
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
** Changed in: gnome-terminal (Ubuntu)
Assignee: Daniel Holbach = (unassigned)
--
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
Desktop Bugs, which is a direct