diff options
-rw-r--r-- | public/js/index.js | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/public/js/index.js b/public/js/index.js index b3fc372f..62d17600 100644 --- a/public/js/index.js +++ b/public/js/index.js @@ -470,6 +470,11 @@ function windowResizeInner() { clearMap(); syncScrollToView(); editor.setOption('viewportMargin', viewportMargin); + //add or update user cursors + for (var i = 0; i < onlineUsers.length; i++) { + if (onlineUsers[i].id != personalInfo.id) + buildCursor(onlineUsers[i]); + } updateScrollspy(); }, 100); } |