@devpodio/output
v0.6.3
Published
Theia - Output Extension
Downloads
37
Readme
Theia - Output View Extension
Contributes an output widget to Theia that shows output from extensions to the user.
This output is usually comes from external commands run by the backend, e.g. git
or language servers.
This deserves a bit more of the user's attention than log messages. As opposed to UI messages, it tends
to be more verbose and a does not require the user to react on it.
See here for a detailed documentation on Theia.