A GNOME shell extension to keep the old topbar corners, which were removed for GNOME 42. It also allows you to customize the rounded corners, even if you use GNOME 40 or 41. It is widely based on already existing gnome-shell code, and on a merge request by Alice Mikhaylenko: https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1328
Note: Binary files aren't shown on the web site. To see all files, please download the extension zipfile.
| Version | Status |
|---|---|
| 13 | Active |
| 12 | Active |
| 11 | Active |
| 10 | Active |
| 9 | Active |
| 8 | Rejected |
| 7 | Active |
| 6 | Active |
| 5 | Active |
| 4 | Active |
| 3 | Active |
| 2 | Active |
| 1 | Rejected |
Why there are `.ts` files in the package?
Oh, they are not needed and I forgot to put a rule to remove them from the package... I guess you can either reject it and I will send another tomorrow, or else I will remove them next time I update it
1. Please remove versions (prefs.js line 2-3 prefs.js). 2. Please remove `.ts` files: https://gjs.guide/extensions/review-guidelines/review-guidelines.html#don-t-include-unnecessary-files
Panel corners