Ubuntu
gnome-terminal package

  1. Bug #823998
  2. Comment #3

Comment 3 for bug 823998

Revision history for this message
Oded Arbel (oded-geek) wrote :

This issue is not a duplicate of bug #728040 - as that bug is about the option to show the menu bar.

This is about the menu shortcut keys not working, so its more like bug #663030 - but that bug is closed with "fix released" while obviously we still have a problem :-)