fix undo-redo

2018-01-30 15:51:54 -08:00
parent a81a2cd553
commit 5d3922cb64
8 changed files with 40 additions and 30 deletions
--- a/src/Util/UndoManager.js
+++ b/src/Util/UndoManager.js
@@ -50,7 +50,7 @@ function applyReverseOperation (y, scope, reverseBuffer) {
          )
        ) {
          performedUndo = true
-          op = op._copy(undoOp.deletedStructs)
+          op = op._copy(undoOp.deletedStructs, true)
          op._integrate(y)
        }
      }