glsp-theia-extension (npm): Glue code to integrate the sprotty GLSP client into Eclipse Theia
Keywords: theia-extension