[Pharo-users] [ANN] We have our winners!

2020-03-07 Thread Richard Kenneth Eng
https://smalltalk.tech.blog/2020/03/07/jrmpc-2020-award-winners/ Time to play this up for all the PR value I can muster. Richard

Re: [Pharo-users] Hi-DPI Support

2020-03-07 Thread tbrunz
I've finished the script I mentioned and put it on GitHub; it's called 'pharo-adjust-cursor'. https://github.com/tbrunz/installer_scripts It will edit the bash scripts that launch Pharo applications (i.e., pharolauncher, pharoiot, etc.) to either enable or disable enlarging the GUI pointer. This