eclipse-sprotty / sprotty-server

Server implementation for the Sprotty diagramming framework
https://eclipse.org/sprotty
Eclipse Public License 2.0
23 stars 19 forks source link

Improve server API #1

Closed spoenemann closed 5 years ago

spoenemann commented 5 years ago

From theia-ide/sprotty#234:

JanKoehnlein commented 5 years ago

Not sure about the action adapter anymore. When PRs are through, this can be closed.

JanKoehnlein commented 5 years ago

See PRs https://github.com/eclipse/sprotty-server/pull/3 https://github.com/eclipse/sprotty-server/pull/4 https://github.com/eclipse/sprotty-server/pull/5 https://github.com/eclipse/sprotty-server/pull/6