The @theia/markers adds support for file markers (diagnostic markers (errors, warnings, infos, hint)) for a given file.
The extension contributes, the following:
problems view: a dedicated view to viewing diagnostic markers contributed by language-servers, linters, task problem matchers for the workspacemarker decoration: ability to decorate different components of the application based on markers (ex: file explorer)
- Eclipse Public License 2.0
- 一 (Secondary) GNU General Public License, version 2 with the GNU Classpath Exception
"Theia" is a trademark of the Eclipse Foundation https://www.eclipse.org/theia