Updated settings of gnome-terminal