Re: Setting gnome-terminal default size