This is neat, but it's a massive shame the GNOME developers abandoned the idea of a proper extension API. Something this trivial should not be a Mutter patch . This should be something you can apply as a user and have working immediately, ideally without a compositor restart even. It felt like death by a thousand papercuts staying on GNOME during the v40 transition/update/overhaul. Seeing stuff like this ultimately j…
The thing with this is it's patching mutter, the window manager. Not shell which focuses on the extension stuff.
This is the equivalent of patching Quartz on MacOS to change behaviour.