Theia - Markers Extension
The markers extension adds support for file markers to Theia. It includes the following concrete features:
Problem View
The problem view shows any diagnostics issued by language servers in a view.
See here.
@wiptheia/markers
0.3.101529329103 • Public • PublishedPackage Sidebar
Install
npm i @wiptheia/markers
Repository
Homepage
Weekly Downloads
0
Version
0.3.101529329103
License
Apache-2.0
Unpacked Size
162 kB
Total Files
59