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/mini-brow[email protected]
0.12.0-next.b059e2ea
EPL-2.0 OR GPL-2.0 WITH Classpath-exception-2.0
268 kB
65