Comment 13 for bug 787465

#835331 is clearly not a dupe of this bug and is actually the issue I am seeing and does not work in Gnome3.2. gnome-terminal does not currently respect the 'Show/hide menubar by default' preference.