eclipse-sprotty / sprotty-theia

Integration of Sprotty diagrams into Theia IDE
https://eclipse.org/sprotty
Eclipse Public License 2.0
24 stars 14 forks source link

[edit] merge regions in DeleteWorkspaceEditCommand #15

Closed JanKoehnlein closed 6 years ago

JanKoehnlein commented 6 years ago

In the theia-xtext-sprotty example, I cannot delete a connected state, as the delete regions of the node and the attached edges, that are implicitly deleted as well, overlap.