code: 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));
          });
      }
docs: Refresh current theme in the editor
  
  @param {boolean} force Forces a reload of the current theme.  It reloads the theme file.