actually use clock in undo-manager

This commit is contained in:
Kevin Jahns 2018-02-15 18:58:43 +01:00
parent 937de2c59f
commit 5e4b071693

View File

@ -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