0.6.3 • Published 4 years ago

@devpodio/markers v0.6.3

Weekly downloads
-
License
EPL-2.0 OR GPL-2....
Repository
github
Last release
4 years ago

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

theia-extension
@devpodio/core@devpodio/filesystem@devpodio/navigator@devpodio/workspace
@infinitebrahmanuniverse/nolb-_devp@everything-registry/sub-chunk-238@devpodio/monaco@devpodio/plugin-ext@devpodio/task@devpodio/debug
0.6.3

4 years ago

0.6.2

4 years ago

0.6.1

4 years ago

0.6.0

4 years ago

0.5.3

4 years ago

0.5.2

5 years ago

0.5.1

5 years ago

0.5.0

5 years ago

0.4.4

5 years ago

0.4.3

5 years ago

0.4.2

5 years ago

0.4.1

5 years ago

0.4.0-latest.4

5 years ago

0.4.0-latest.3

5 years ago

0.4.0-latest.2

5 years ago

0.4.0-latest.1

5 years ago

0.3.20

5 years ago

0.3.19

5 years ago

0.3.18

5 years ago

0.3.17

5 years ago

0.3.16

5 years ago