Theia Mini-Browser Extensions
This extension provides a browser widget with the corresponding backend endpoints.
See here for a detailed documentation.
This extension provides a browser widget with the corresponding backend endpoints.
See here for a detailed documentation.
npm i @theia/[email protected]
0.4.0-next.de618c7d
EPL-2.0 OR GPL-2.0 WITH Classpath-exception-2.0
192 kB
46