*** This bug is a duplicate of bug 878492 ***
https://bugs.launchpad.net/bugs/878492
** This bug is no longer a duplicate of bug 726639
F10 is captured even if gnome-terminal setting is explictly set to not
capture
** This bug has been marked a duplicate of bug 878492
Keyboard shortcut
*** This bug is a duplicate of bug 726639 ***
https://bugs.launchpad.net/bugs/726639
Status changed to 'Confirmed' because the bug affects multiple users.
** Changed in: gnome-terminal (Ubuntu)
Status: New = Confirmed
--
You received this bug notification because you are a member of
*** This bug is a duplicate of bug 726639 ***
https://bugs.launchpad.net/bugs/726639
** This bug has been marked a duplicate of bug 726639
F10 is captured even if gnome-terminal setting is explictly set to not
capture
--
You received this bug notification because you are a member of
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/877006
Title:
regression: shortcut-keys can't be disabled anymore
To manage notifications about this bug go to: