From 880101b221d545ffc42742b3d14d56a58b40e362 Mon Sep 17 00:00:00 2001
From: "Friedrich W. H. Kossebau" <friedrich@kogmbh.com>
Date: Sun, 1 Sep 2013 22:25:03 +0200
Subject: [PATCH] Also ignore MoveCursor ops as non-document-modifying ops

---
 js/editor/server/pullbox/OperationRouter.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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();