On Fri May 2 15:49:37 2025 +0000, Paul Gofman wrote:
Maybe it is window_rect name which is misleading (while this is pre-existing, it is the same before the patch). Might probably rename it to mapped_rect while we are here?
Ah right, I misread indeed and thought window_rect was the usual one. Let's rename it to "exposed_rect" for instance.