Add option to the gnome terminal to hide menus by default