Mutter-Rounded – A window manager for Gnome, with rounded corners patch

[smoldesu]

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!

[circo]

And even the updates between 40-41-42 killed some extensions, especially shell related exts/themes.

[hactually]

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.

[hactually]

I really like this, lots of work.

The standardization on libadawaita feels like it'll help reduce the weird edge cases -- good looking future for Gnome

[encryptluks2]

Is the point of rounded corners just cause? I don't see any benefit to them.

[FastMonkey]

I don't like them myself, but some people think it helps the edges of windows and buttons stand out better.

[TingPing]

What did you expect, its of course just aesthetic.