*** 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
** This bug is no longer a duplicate of bug 750700
Unity Compiz plugin captures F10 for menu even when explicitly disabled in
gnome-terminal
** This bug has been marked a duplicate of bug 726639
F10 is
*** This bug is a duplicate of bug 750700 ***
https://bugs.launchpad.net/bugs/750700
** This bug is no longer a duplicate of bug 194155
mc and gnome-terminal, F10 key conflict
** This bug has been marked a duplicate of bug 750700
gnome-terminal captures F10 for menu even when
** Attachment added: Dependencies.txt
http://launchpadlibrarian.net/42866650/Dependencies.txt
--
'F10' keystroke captured by Terminal window
https://bugs.launchpad.net/bugs/553864
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
--
*** This bug is a duplicate of bug 194155 ***
https://bugs.launchpad.net/bugs/194155
** This bug has been marked a duplicate of bug 194155
mc and gnome-terminal, F10 key conflict
** Changed in: htop (Ubuntu)
Status: New = Invalid
--
'F10' keystroke captured by Terminal window
