@devpodio/markers v0.6.3

Theia - Markers Extension

The markers extension adds support for file markers to Theia. It includes the following concrete features:

See here for a detailed documentation.

Problem View

The problem view shows any diagnostics issued by language servers in a view.

License

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