Theia with gitpod extensions

Hello everyone…I want to ask an information. There is in gitpod an extensions manager?
Thanks for your help

[original thread by Usertheia1]

Do you mean @theia/extension-manager? It is deprecated and should not be used by anyone. For plugins there is no yet such manager.

[Usertheia1]

thanks