@theia/plugin (npm): Theia - Plugin API
Keywords: cloud-ide|editor|electron|ide|language-server-protocol|typescript