diff options
| -rw-r--r-- | public/js/index.js | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/public/js/index.js b/public/js/index.js index 4059431d..5b3d4770 100644 --- a/public/js/index.js +++ b/public/js/index.js @@ -2690,7 +2690,7 @@ editorInstance.on('changes', function (cm, changes) { } } }) -editorInstance.on('focus', function (cm) { +editorInstance.on('focus', function (editor) { for (var i = 0; i < window.onlineUsers.length; i++) { if (window.onlineUsers[i].id === window.personalInfo.id) { window.onlineUsers[i].cursor = editor.getCursor() |