Support proper unloading, including removing the toolview.
Devs: If anybody plays with the plugin selector and notices a plugin that doesn't remove its toolview when unload is called, please fix the plugin. It's as easy as adapting the diff from this commit. |
|
|
