pharo
pharo copied to clipboard
Forward port 9038 to Pharo 10: Windows edges grabbing for resizing not optimal #9038
This should fix #10319, related to #9038
https://github.com/pharo-project/pharo/pull/10325
This was wrongly closed with merging #10348, but that is another issue
(this is why using titles just refering to issue or PR numbers is not good)
TODO: forward port #9038
Hmm... maybe I got completely confused and this just mentioned #9083.. using numbers only is confusing