Skip to content
This repository was archived by the owner on Sep 6, 2021. It is now read-only.
Merged
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
19 changes: 0 additions & 19 deletions src/view/ThemeManager.js
Original file line number Diff line number Diff line change
Expand Up @@ -190,24 +190,6 @@ define(function (require, exports, module) {
}


/**
* @private
* Will trigger a refresh of codemirror instance and editor resize so that
* inline widgets get properly rendered
*
* @param {CodeMiror} cm code mirror instance to refresh
*/
function refreshEditor(cm) {
// Really dislike timing issues with CodeMirror. I have to refresh
// the editor after a little bit of time to make sure that themes
// are properly applied to quick edit widgets
setTimeout(function () {
cm.refresh();
EditorManager.resizeEditor();
}, 100);
}


/**
* @private
* Get all current theme objects
Expand Down Expand Up @@ -284,7 +266,6 @@ define(function (require, exports, module) {
var cm = editor._codeMirror;
ThemeView.setDocumentMode(cm);
ThemeView.updateThemes(cm);
refreshEditor(cm);
});
}

Expand Down