function updateHeight() {
            // Notify CodeMirror for the height change.
            if (isAttached) {
                inlineWidget.info.changed();
            }
        }
Sets the height of an inline widget in this editor.
@param {!InlineWidget} inlineWidget The widget whose height should be set.
@param {!number} height The height of the widget.
@param {boolean=} ensureVisible Whether to scroll the entire widget into view. Default false.