News for hackers. Stuff that matters.

A comment on Mutter-Rounded – A window manager for Gnome, with rounded corners patch. Parent comment

Re:Mutter-Rounded – A window manager for Gnome, with rounded... by hactually on Sunday June 26, 2022 @08:22AM (#31883297)
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.

[ Parent | on HN ]
Re:Mutter-Rounded – A window manager for Gnome, with rounded... by smoldesu on Sunday June 26, 2022 @06:22PM (#31888689)
That doesn't really matter, my point still stands: GNOME is responsible for developing Mutter, if it doesn't have an extension API then it's still their fault.
[ Parent | on HN ]