GLSP no longer uses sprotty-theia

[tortmayr]

@spoenemann The GLSP team has made the decision to no longer directly use the sprotty-theia repository. With the latest changes in the glsp-theia-integration we no longer have a direct dependency to sprotty-theia and instead maintain all our glue code in repository.

When we started out with GLSP the glue code provided by this repository was easy to reuse for our use case, well maintained and easy to extend. I want to use this opportunity to thank you for providing this great starting point for our project. However, over the last couple of years the sprotty community has mostly moved on to use VS Code extensions for integrating diagrams in Theia. As a consequence this repository became stale and the GLSP teams ended up as the more or less lone active adopter and maintainer. We have now reached a point where maintaining this repository does no longer really benefit us. Most of the glue code from this repository is heavily customized & extended in GLSP anyways. So at this point maintaining the entire glue code directly in the main repo makes more sense to us.

I guess a decision has to be made if and how this repository should be continued. Are there any adopters that are still actively using this extension? If not we might consider archiving this repository entirely.

[spoenemann]

Thanks for bringing this up! Right, we tend to use the sprotty-vscode integration rather than this one. I would pin this issue and keep the repository open for a while, but if no additional parties approach us who would participate in maintaining the code, we can request to archive the repo.