Module @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 workspacemarker decoration: ability to decorate different components of the application based on markers (ex: file explorer)
Additional Information
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
Modules
- browser
- browser/marker-manager
- browser/marker-tree
- browser/marker-tree-label-provider
- browser/marker-tree-model
- browser/problem/problem-composite-tree-node
- browser/problem/problem-container
- browser/problem/problem-contribution
- browser/problem/problem-decorations-provider
- browser/problem/problem-decorator
- browser/problem/problem-frontend-module
- browser/problem/problem-layout-migrations
- browser/problem/problem-manager
- browser/problem/problem-selection
- browser/problem/problem-tabbar-decorator
- browser/problem/problem-tree-model
- browser/problem/problem-utils
- browser/problem/problem-widget
- browser/problem/problem-widget-tab-bar-decorator
- common/marker
- common/problem-marker
- common/problem-preferences
- node/problem-backend-module