search

eclipse-sprotty / sprotty-theia

Integration of Sprotty diagrams into Theia IDE
https://eclipse.org/sprotty
Eclipse Public License 2.0
24 stars 14 forks source link

[diagram] server status is no longer showing #29

Closed JanKoehnlein closed 5 years ago

JanKoehnlein commented 5 years ago

E.g. in the theia-xtext-sprotty-example, when the Xtext resource has errors.