@theia/markers

ECLIPSE THEIA - MARKERS EXTENSION

---

Description

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 workspace
• marker decoration: ability to decorate different components of the application based on markers (ex: file explorer)

Additional Information

• API documentation for @theia/markers
• Theia - GitHub
• Theia - Website

License

• Eclipse Public License 2.0
• 一 (Secondary) GNU General Public License, version 2 with the GNU Classpath Exception

Trademark

"Theia" is a trademark of the Eclipse Foundation https://www.eclipse.org/theia