+ 1000 S
> On 10 May 2024, at 13:03, Tim Mackinnon <tim@testit.works> wrote: > > Davide - why don't you submit a PR? I'm sure you can figure out how to add a > settings to the system (can't offhand remember, but there are examples - and > you can ask on the discord) and it would be a nice contribution to make . > > Its all the little contributions that make the system better - I know I've > been there, and saw how the others do it and so had a go. > > Tim > > On Fri, 10 May 2024, at 5:25 PM, Davide Varvello via Pharo-users wrote: >> Hi Guys, >> It seems to me the default size of a lot of windows is too small, so after >> some search and thanks to this >> https://stackoverflow.com/questions/55102480/how-do-i-change-the-default-height-of-the-system-browser >> by Marko Grdinić >> >> I discovered I can change the default size of many type of windows simply >> changing ClyBrowserMorph>>initialExtent. >> HTH >> >> It would be good to be able to manage the size of windows in Settings >> >> Cheers >> Davide Stéphane Ducasse http://stephane.ducasse.free.fr 06 30 93 66 73 "If you knew today was your last day on earth, what would you do differently? ....ESPECIALLY if, by doing something different, today might not be your last day on earth.” Calvin & Hobbes
