src/view/ThemeManager.js
function refresh(force) {
        if (force) {
            currentTheme = null;
        }

        $.when(force && loadCurrentTheme()).done(function () {
            var editor = EditorManager.getActiveEditor();
            if (!editor || !editor._codeMirror) {
                return;
            }

            var cm = editor._codeMirror;
            ThemeView.updateThemes(cm);

            // currentTheme can be undefined, so watch out
            cm.setOption("addModeClass", !!(currentTheme && currentTheme.addModeClass));
        });
    }
function refresh(force) {
        if (force) {
            currentTheme = null;
        }

        $.when(force && loadCurrentTheme()).done(function () {
            var editor = EditorManager.getActiveEditor();
            if (!editor || !editor._codeMirror) {
                return;
            }

            var cm = editor._codeMirror;
            ThemeView.updateThemes(cm);

            // currentTheme can be undefined, so watch out
            cm.setOption("addModeClass", !!(currentTheme && currentTheme.addModeClass));
        });
    }
function refresh ( force ) { if ( force ) { currentTheme = null ; } $ . when ( force && loadCurrentTheme ( ) ) . done ( function ( ) { var editor = EditorManager . getActiveEditor ( ) ; if ( ! editor || ! editor . _codeMirror ) { return ; } var cm = editor . _codeMirror ; ThemeView . updateThemes ( cm ) ; // currentTheme can be undefined, so watch out cm . setOption ( "addModeClass" , ! ! ( currentTheme && currentTheme . addModeClass ) ) ; } ) ; }
Refresh current theme in the editor

@param {boolean} force Forces a reload of the current theme.  It reloads the theme file.
Refresh current theme in the editor