You can stop gnome-terminal from trapping Alt for the menus in Edit->Keyboard Shortcuts.
I'm not closing this as the menubar not being technically disablable is perhaps a bug (though, really, just a minor cosmetic inconvenience), I'll leave that to the desktop team.
You can stop gnome-terminal from trapping Alt for the menus in Edit->Keyboard Shortcuts.
I'm not closing this as the menubar not being technically disablable is perhaps a bug (though, really, just a minor cosmetic inconvenience), I'll leave that to the desktop team.