I stumbled upon this video while looking for a solution to store a few parameters for my extensions:
It led me to VSCode API
ExtensionContext which I think has just recently been implemented in Theia:
However I’m not sure how to implement the
activate() method in order to get the instance of
Could anyone provide me with any pointers?