Closed jbicker closed 6 years ago
I rebased this work on the current head and pushed the result to https://github.com/theia-ide/sprotty/tree/EditableEdges2. I'll try to make that work with the current state and create a new PR.
I rebased this work on the current head and pushed the result to https://github.com/theia-ide/sprotty/tree/EditableEdges2. I'll try to make that work with the current state and create a new PR.