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
