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 circo on Saturday June 25, 2022 @08:33PM (#31879938)
And even the updates between 40-41-42 killed some extensions, especially shell related exts/themes.
[ Parent | on HN ]
Re:Mutter-Rounded – A window manager for Gnome, with rounded... by smoldesu on Saturday June 25, 2022 @08:46PM (#31880008)
Especially incremental updates. It already blew my mind that they broke the API so frequently with GNOME 3, the fact that they're still abusing extension developers like that in 2022 is unfathomable.
[ Parent | on HN ]
Re:Mutter-Rounded – A window manager for Gnome, with rounded... by mikhailt on Sunday June 26, 2022 @12:30AM (#31881075)
It’s one of the reasons I don’t look forward to upgrading my Linux install at all.

Arc menu, emoji picker, Dock extensions were something I used a lot and had to wait a while before they were compatible with certain Gnome versions. Emoji picker still isn’t, had to switch to Smile the flatpak package to make it work.

[ Parent | on HN ]