Creates rounded corners for every monitor
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 | Rejected |
| 10 | Active |
| 9 | Active |
| 8 | Active |
| 7 | Active |
| 6 | Active |
| 5 | Inactive |
| 4 | Active |
| 3 | Inactive |
| 2 | Inactive |
| 1 | Inactive |
I realised that I never set enabled to false, and also needed to disconnect the settings on disable, which I've fixed. I'd also confused the "globalThis" window with the parameter "window" in prefs.js last night :D
Thanks! Yeah, we actually mentioned attaching settings to window in prefs.js example: https://gjs.guide/extensions/development/preferences.html#prefs-js For settings in `extension.js`, only nulling that out in disable is enough. btw, please remove the log for the next version (line 38 extension.js).
Rounded Corners