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