Ubuntu
gtk+2.0 package

  1. Bug #717358
  2. Comment #10

Comment 10 for bug 717358

Revision history for this message
Michael Bienia (geser) wrote :

gnome-terminal got now also a menubar by default (even if it is disabled in the config), see bug 717332.