function resizeEditor() {
        if (_currentEditor) {
            $(_currentEditor.getScrollerElement()).height(_editorHolder.height());
            _currentEditor.refresh();
        }
    }
Resize the editor. This should only be called if the contents of the editor holder are changed
or if the height of the editor holder changes (except for overall window resizes, which are
already taken care of automatically).
@see #_updateEditorSize()