Re: Set initial size of gnome-terminal?