Add rounded corners to all windows. Fork of the now unmaintained Rounded Window Corners extension.
Note: Binary files aren't shown on the web site. To see all files, please download the extension zipfile.
| Version | Status |
|---|---|
| 14 | Active |
| 13 | Active |
| 12 | Active |
| 11 | Active |
| 10 | Active |
| 9 | Active |
| 8 | Rejected |
| 7 | Active |
| 6 | Active |
| 5 | Rejected |
| 4 | Rejected |
| 3 | Active |
| 2 | Active |
| 1 | Rejected |
Where do you disconnect the signals on disable (line 16, 24 and 52 `patch/workspace_switch.js`)?
You're right, they're not being disconnected. I'll submit a new version with the fix.
Rounded Window Corners Reborn