Does theia call VSCode plugin's "deactivate" function when it exists?

Based on my diagnostic, I think the answer probably is “no”. But I just wanted to be confirmed.

[original thread by 蔡旭烨]

I belive no, we does not support dynamic unloading of extensions yet for disabling or uninstalling them. It is on our list though.

@florentbenoit @yevhen correct me if i’m wrong please

[Deleted]

We call deactivate function in some cases(when we restart plugin system), but we don’t have the way to stop one exact plugin