diff options
| author | Cheng-Han, Wu | 2016-06-02 01:06:55 +0800 |
|---|---|---|
| committer | Cheng-Han, Wu | 2016-06-02 01:06:55 +0800 |
| commit | dcc5ef2df65aafabde083f266ee164de2c716fa4 (patch) | |
| tree | 58afcfe0b7c2ac91f3ed494df689414df2c0f3aa /public | |
| parent | 223d685a7c6ee95213ec2afcecb6d90dcd6b0259 (diff) | |
Remove unnecessary editor refresh workaround because it already get fixed
Diffstat (limited to 'public')
| -rw-r--r-- | public/js/index.js | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/public/js/index.js b/public/js/index.js index cb3bbcc4..25c84ad9 100644 --- a/public/js/index.js +++ b/public/js/index.js @@ -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++) { |