In gnome-terminal 3.18.3 F1 is used and can not be disabled, but F10 can
be disabled in preferences.
** Changed in: gnome-terminal (Ubuntu)
Status: Opinion => Confirmed
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/1380194
Title:
Terminal emulator opens menu by F10 key and/or opens help by F1 key.
To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/gnome-terminal/+bug/1380194/+subscriptions
--
ubuntu-bugs mailing list
[email protected]
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
