# theia-sprotty
Glue code for sprotty diagrams in Theia