*** 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 Ubun
--
You received this bug notification because you are a member of Ubuntu
Desktop Bugs, which is subscribed to gnome-terminal in Ubuntu.
https://bugs.launchpad.net/bugs/877006
Title:
regression: shortcut-keys can't be disabled anymore
To manage notifications about this bug go to:
https://bugs.l
