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