[original thread by dehru]
Hello @dehru yes plug-ins can be added dynamically through command palette ‘deploy plug-in by id’ (it only works for theia plug-ins/vscode extensions not for theia extensions)
[dehru]
thanks for the answer!
Hello @dehru yes plug-ins can be added dynamically through command palette ‘deploy plug-in by id’ (it only works for theia plug-ins/vscode extensions not for theia extensions)
[dehru]
thanks for the answer!