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