*** 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 Desktop
Packages, which is subscribed to gnome-terminal in Ubuntu.
https://bugs.launchpad.net/bugs/877006
Title:
regression: shortcut-keys can't be disabled anymore
Status in “gnome-terminal” package in Ubuntu:
New
Bug
4 matches
Mail list logo