Comment 22 for bug 787465

Daniel Hahler (blueyed) wrote :

The workaround is to uninstall/purge appmenu-gtk and appmenu-gtk3 (if present).
This package also contains the /etc/X11/Xsession.d/80appmenu* files.

@Jeremy: when appmenu-gtk is uninstalled, gnome-terminal behaves properly (regarding the "Show menubar by default" setting), at least for me.