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

[Daniel Baumann]

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

[Daniel Baumann]

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):

https://sources.progress-linux.org/distributions/dschinn-extras/packages/gnome-shell-extension-remove-rounded-corners/

Regards,
Daniel