Various tweaks for a more predictable Gnome shell experience
Note: Binary files aren't shown on the web site. To see all files, please download the extension zipfile.
| Version | Status |
|---|---|
| 9 | Active |
| 8 | Active |
| 7 | Active |
| 6 | Active |
| 5 | Rejected |
| 4 | Active |
| 3 | Rejected |
| 2 | Rejected |
| 1 | Active |
Do this: ```js this.source_manager?.destroy(); ``` instead of ```js this.source_manager ? this.source_manager.destroy() : undefined; ``` Same for other places.
Zen