docs: function focus(editor) {
      setTimeout(function() {
        if (sourceMode(editor)) editor.$area.focus();
        else editor.$frame[0].contentWindow.focus();
        refreshButtons(editor);
      }, 0);
    }