For aesthetic purposes adds useless gaps around tiled and maximized windows
Note: Binary files aren't shown on the web site. To see all files, please download the extension zipfile.
Version | Status |
---|---|
18 | Active |
17 | Active |
16 | Active |
15 | Rejected |
14 | Rejected |
13 | Rejected |
12 | Active |
11 | Active |
10 | Active |
9 | Active |
8 | Active |
7 | Active |
6 | Active |
5 | Active |
4 | Active |
3 | Active |
2 | Active |
1 | Active |
Please make line 26 `prefs.js` local to the `getPreferencesWidget()` because that won't get cleaned up on window close. To avoid the instance get destroyed before window close, you can attach it to the window as we did in this example: https://gjs.guide/extensions/development/preferences.html#prefs-js