Update sprotty-theia dependency

eclipsesource / graphical-lsp

Graphical language server platform for building web-based diagram editors

https://www.eclipse.org/glsp

Eclipse Public License 2.0

36 stars 8 forks source link

Closed tortmayr closed 4 years ago

tortmayr commented 4 years ago

Update to latest sprotty-theia version to consume this PR: https://github.com/eclipse/sprotty-theia/pull/44