Update to sprotty 0.14.0
Closed this issue · 0 comments
hlxid commented
A new version of sprotty has been released.
This version includes a fix for #2 but also includes some breaking changes that we need to adapt to.
Release notes: https://github.com/eclipse-sprotty/sprotty/releases/tag/v0.14.0