Re: [Vm-dev] Re: [Pharo-project] how to change the default size of the Pharo host windows?