diff --git a/src/Util/UndoManager.js b/src/Util/UndoManager.js index 7fe07573..c18c36d3 100644 --- a/src/Util/UndoManager.js +++ b/src/Util/UndoManager.js @@ -51,8 +51,8 @@ function applyReverseOperation (y, scope, reverseBuffer) { ( op._id.user !== y.userID || undoOp.fromState === null || - op._id.clock < undoOp.fromState || - op._id.clock > undoOp.toState + op._id.clock < undoOp.fromState.clock || + op._id.clock > undoOp.toState.clock ) ) { performedUndo = true