Gnome-terminal settings and integrated menu