The disable()
-function inside the extension.js
-file is called when:
- The user disables an extension in a running shell
- The shell shuts down or restarts
Keep in mind that it's meant to do UI-manipulation, so you should finish it fast (no heavy lifting).