Plugins activation orderJuly 14, 2019 at 2:19pm
Hi, While checking the plugins activation mechanism i noticed 2 things:
- Plugins in THEIA_DEFAULT_PLUGINS are loaded before THEIA_PLUGINS
- The order of the folders in the environment variable is important. (e.g. THEIA_PLUGINS=A,B plugins in A will be loaded before B)
Can i count on this?
July 15, 2019 at 7:17am
plugins are loaded and activated later on the frontend regardless to the order of how they are deployed on the backend
activation and loading on the frontned should happen in the topological order
there is an issue with that right now
but there is a PR to fix it, hopefully going to be merged this week: https://github.com/theia-ide/theia/pull/5661/commits/2c402d0a333177a0324e85249859a9a6d5d7d4c0
July 15, 2019 at 9:16pm
July 16, 2019 at 6:49am
Unfortuantely I could not find it documented anywhere in vscode docs.
hm, i have not implemented this bit:
If B is not installed or if B fails to activate, then A will not be activated.in the PR
Should we be siilarly stricti, for now it logs a warning but activate dependent plugin nevertheless: https://github.com/theia-ide/theia/pull/5661/commits/2c402d0a333177a0324e85249859a9a6d5d7d4c0#diff-6fa76cd60ab999a3dd4ca8a8dc38e97dR198