I am using the
next version of Theia, with a Visual Studio Code Extension and I want to do some cleanup when a user closes an editor tab.
However, this handler is simply not being called when I run the plugin on Theia.
When my extension runs on Visual Studio Code, it works just fine.
Is there are alternate API I should hook to in the context of Theia?
Thanks for your advice.
[original thread by Dominique Rochefort]