Bug#844354: RFP: gnome-shell-extension-remove-rounded-corners -- Hide rounded corners

close 844354 thanks Hi, GNOME >=40 switched to non-rounded corners for fullscreen windows by default, making this extension obsolete, hence closing the bug. Regards, Daniel

Bug#844354: RFP: gnome-shell-extension-remove-rounded-corners -- Hide rounded corners

Package: wnpp Severity: wishlist Hi, it would be nice if someone would upload the remove-rounded-corners extension to make the gnome activity-bar look nicer. An example package is here (feel free to use this as a base in the public domain, no copyright attribution required):