Miro Spönemann

Yes, I'm sure there are plenty of code parts that can be optimized w.r.t. DB access performance. Currently both the server and DB have super high CPU load in production...

> Is it possible to create public ids before the extensionquery endpoint is called? Yes, we could create them when an extension is published instead of when it's accessed in...

This would also solve #121 and #164.

In case someone wants edge routing as an explicit action (not automatically triggered), we now have it integrated with ELK, so it can be used with the existing sprotty-elk adapter:...

Sprotty's new website includes live demos: https://sprotty.org/ The code is here: https://github.com/eclipse-sprotty/sprotty-website

@rsoika regarding your initial request: > I would like to make a tiny contribution to your project. Is there still anything you'd like to contribute in this regard, or shall...

Ok thanks for sharing. I'll close this for now, but I'm also open for contributions in this direction if someone would like to add this to the features available in...

The graduation review was concluded successfully: https://gitlab.eclipse.org/eclipsefdn/emo-team/emo/-/issues/570

The `merge` method is used to merge multiple commands within the same animation frame: https://github.com/eclipse-sprotty/sprotty/blob/6d43db24c67c4adc837ea9e8a775f47ded5c5193/packages/sprotty/src/base/commands/command.ts#L108-L118 As to the proposal to take a shortcut for viewport changes: This would break the...

I made a proposal to fix this with an additional attribute in the respective views: #364 @tomvdbussche @BjBe82 @rsoika please have a look whether this is sufficient for your cases.