Module @theia/plugin-ext-headless

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