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 just bums me out, it ultimately amounts to the user fighting the developers which should not be a problem with an open source project!
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 just bums me out, it ultimately amounts to the user fighting the developers which should not be a problem with an open source project!