diff --git a/js/editor/server/pullbox/OperationRouter.js b/js/editor/server/pullbox/OperationRouter.js index 65bfcce5..9fc13a70 100644 --- a/js/editor/server/pullbox/OperationRouter.js +++ b/js/editor/server/pullbox/OperationRouter.js @@ -428,7 +428,7 @@ runtime.log("Pushing activated"); } // note if any local ops modified TODO: find less fragile way, perhaps have the operationFactory check it? - hasPushedModificationOps = hasPushedModificationOps || !/^(AddCursor|RemoveCursor)$/.test(opspec.optype); + hasPushedModificationOps = hasPushedModificationOps || !/^(AddCursor|MoveCursor|RemoveCursor)$/.test(opspec.optype); // apply locally opspec.timestamp = (new Date()).getTime();