Updated resizeView, add or update user cursors to get proper view
This commit is contained in:
parent
a879b5b5fd
commit
fb8ead594a
1 changed files with 5 additions and 0 deletions
|
@ -470,6 +470,11 @@ function windowResizeInner() {
|
||||||
clearMap();
|
clearMap();
|
||||||
syncScrollToView();
|
syncScrollToView();
|
||||||
editor.setOption('viewportMargin', viewportMargin);
|
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();
|
updateScrollspy();
|
||||||
}, 100);
|
}, 100);
|
||||||
}
|
}
|
||||||
|
|
Loading…
Reference in a new issue