added gnome-terminal settings