ECLIPSE THEIA - HEADLESS PLUGIN-EXT EXTENSION
Description
The @theia/plugin-ext-headless extension contributes functionality for the backend-only "headless plugin" API.
The plugin extension host managed by this extension is scoped to the single Theia NodeJS instance.
This is unlike the plugin extension hosts managed by the @theia/plugin-ext extension which are scoped on a per-frontend-connection basis.
Implementation
The implementation is derived from the @theia/plugin-ext extension for frontend-scoped plugins.
License
- Eclipse Public License 2.0
- 一 (Secondary) GNU General Public License, version 2 with the GNU Classpath Exception
Trademark
"Theia" is a trademark of the Eclipse Foundation https://www.eclipse.org/theia