Add { scroll: false } when resetting user cursor to prevent jump when…

… other clients update
yjs · Nov 3, 2020 · bb52fa5 · bb52fa5
1 parent a2dcb73
commit bb52fa5
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/y-codemirror.js b/src/y-codemirror.js
@@ -74,7 +74,7 @@ const typeObserver = (binding, event) => {
       head = anchor
       anchor = tmp
     }
-    cm.setSelection(cm.posFromIndex(anchor), cm.posFromIndex(head))
+    cm.setSelection(cm.posFromIndex(anchor), cm.posFromIndex(head), { scroll: false })
   })
 }