See other users' cursor position

2018-12-04 17:18:42 +01:00
parent 60e7011adc
commit 1ba80a344b
10 changed files with 165 additions and 3 deletions
--- a/www/code/inner.js
+++ b/www/code/inner.js
@@ -301,6 +301,13 @@ define([
            return content;
        });

+        framework.onCursorUpdate(CodeMirror.setRemoteCursor);
+        framework.setCursorGetter(CodeMirror.getCursor);
+        editor.on('cursorActivity', function () {
+            if (editor._noCursorUpdate) { console.log('ok'); return; }
+            framework.updateCursor();
+        });
+
        framework.onEditableChange(function () {
            editor.setOption('readOnly', framework.isLocked() || framework.isReadOnly());
        });