@wiptheia/extension-manager
v0.3.101529329103
Published
Theia - Extension Manager
Downloads
30
Keywords
Readme
Theia - Extension Manager
See here for a detailed documentation.
Theia Extension
A Theia extension is a node package declaring theiaExtensions
property in package.json
:
{
"theiaExtensions": [{
"frontend": "lib/myExtension/browser/myextension-frontend-module",
"backend": "lib/myExtension/node/myextension-backend-module",
}, {
"frontend": "lib/myExtension2/browser/myextension2-browser-module",
"frontendElectron": "lib/myExtension2/electron-browser/myextension2-electron-browser-module",
"backend": "lib/myExtension2/node/myextension2-node-module",
"backendElectron": "lib/myExtension2/electron-main/myextension2-electron-main-module"
}]
}
Each extension can consist of the following modules:
frontend
is used in the browser env and as well in the electron iffrontendElectron
is not providedfrontendElectron
is used in the electron envbackend
is used in the node env and as well in the electron env ifbackendElectron
is not providedbackendElectron
is used in the electron env
An extension module should have a default export of ContainerModule | Promise<ContainerModule>
type.
Theia Application
A Theia application is a node package listing Theia extensions as dependencies and managed with Theia CLI.