Thanks for continuing the work on this!
Can you incorporate this PR I had raised earlier on the original extension based on a branch that adds rounded corners to windows in overview
https://github.com/yilozt/rounded-window-corners/pull/151
Without this maximized windows in overview have sharp corners and clearly we both are not fans of that :)
Sure, that looks nice. I'm planning to refactor a lot of the extension code, so I'm not adding big features for now, but after that's done I'll work on this.
Thanks for continuing the work on this! Can you incorporate this PR I had raised earlier on the original extension based on a branch that adds rounded corners to windows in overview https://github.com/yilozt/rounded-window-corners/pull/151 Without this maximized windows in overview have sharp corners and clearly we both are not fans of that :)