Ubuntu
gnome-terminal package

  1. Bug #875070
  2. Comment #12

Comment 12 for bug 875070

Revision history for this message
Daniel (dansul) wrote :

"When the menu bar is hidden, the keys are not intercepted. " wrong, they are intercepted. This bug is a couple of years old and still not fixed.