Remove unnecessary editor refresh workaround because it already get fixed

This commit is contained in:
Cheng-Han, Wu 2016-06-02 01:06:55 +08:00
parent 223d685a7c
commit dcc5ef2df6

View file

@ -2502,7 +2502,6 @@ editor.on('changes', function (cm, changes) {
viewportMargin = newViewportMargin;
windowResize();
}
editor.refresh();
});
editor.on('focus', function (cm) {
for (var i = 0; i < onlineUsers.length; i++) {