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.
Do this: ```js this.source_manager?.destroy(); ``` instead of ```js this.source_manager ? this.source_manager.destroy() : undefined; ``` Same for other places.
Zen