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

[layout] manual layout should increment revision number #23

Closed JanKoehnlein closed 5 years ago

JanKoehnlein commented 5 years ago

To be able to detect on the client side that a manual layout is a change to the current model, we should increment the revision number on manual layout actions.