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.
Please don't call functions and methods in global scope: - line 9 `manager/event_manager.js` - line 12 `preferences/window_picker/service.js` - [EGO Review Guidelines: Initialization](https://gjs.guide/extensions/review-guidelines/review-guidelines.html#only-use-initialization-for-static-resources) - [EGO Review Guidelines: Destroy](https://gjs.guide/extensions/review-guidelines/review-guidelines.html#destroy-all-objects)