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 @devpodio/mini-browser
22
0.6.3
EPL-2.0 OR GPL-2.0 WITH Classpath-exception-2.0
277 kB
60