theia-sprotty (npm): Glue code for sprotty diagrams in a Theia IDE
Keywords: theia|sprotty|diagram|theia-extension