Setting gnome-terminal size