corrected gnome-terminal's --show-menubar option