Comment 19 for bug 787465

Whether there's a global menu or not, when "show menubar" is disabled, there should not be a menubar *inside* the gnome-terminal window. Right now, when there is no global menu, AND the terminal is configured to not have a menubar, it'll have one until it's toggled twice.

You could argue that the option should not be displayed when that menubar would go to the global menu. But when it's not, it shouldn't interfere with or override gnome-terminal's logic about whether or not to display a menu.