pharo icon indicating copy to clipboard operation
pharo copied to clipboard

Published 20 hours ago • verified publisher icon pharo-project

Forward port 9038 to Pharo 10: Windows edges grabbing for resizing not optimal #9038

Open guillep opened this issue 4 years ago • 3 comments

This should fix #10319, related to #9038

https://github.com/pharo-project/pharo/pull/10325

guillep avatar Nov 16 '21 10:11 guillep

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)

MarcusDenker avatar Sep 19 '22 08:09 MarcusDenker

TODO: forward port #9038

MarcusDenker avatar Sep 19 '22 08:09 MarcusDenker

Hmm... maybe I got completely confused and this just mentioned #9083.. using numbers only is confusing

MarcusDenker avatar Sep 19 '22 08:09 MarcusDenker