AppMenu GTK+

  1. Bug #875070
  2. Comment #5

Comment 5 for bug 875070

Revision history for this message
Nico Schlömer (nschloe) wrote :

A workaround is described on http://askubuntu.com/questions/66371/gnome-terminal-keeps-the-menubar-even-when-the-profile-is-configured-to-hide-it