function _updateEditorSize() {
        // The editor itself will call refresh() when it gets the window resize event.
        if (_currentEditor) {
            $(_currentEditor.getScrollerElement()).height(_editorHolder.height());
        }
    }
NJ's editor-resizing fix. Whenever the window resizes, we immediately adjust the editor's
height.
@see #resizeEditor()