HOME

import '../../';

declare module '../../' {
    interface Panel {
        /** Removes the panel from the editor */
        clear(): void;
        /** Notifies panel that height of DOM node has changed */
        changed(height?: number): void;
    }

    interface ShowPanelOptions {
        /**
         * Controls the position of the newly added panel. The following values are recognized:
         * `top` (default): Adds the panel at the very top.
         * `after-top`: Adds the panel at the bottom of the top panels.
         * `bottom`: Adds the panel at the very bottom.
         * `before-bottom`: Adds the panel at the top of the bottom panels.
         */
        position?: 'top' | 'after-top' | 'bottom' | 'before-bottom' | undefined;
        /** The new panel will be added before the given panel. */
        before?: Panel | undefined;
        /** The new panel will be added after the given panel. */
        after?: Panel | undefined;
        /** The new panel will replace the given panel. */
        replace?: Panel | undefined;
        /** Whether to scroll the editor to keep the text's vertical position stable, when adding a panel above it. Defaults to false. */
        stable?: boolean | undefined;
        /** The initial height of the panel. Defaults to the offsetHeight of the node. */
        height?: number | undefined;
    }

    interface Editor {
        /**
         * Places a DOM node above or below an editor and shrinks the editor to make room for the node.
         * When using the `after`, `before` or `replace` options, if the panel doesn't exists or has been removed, the value of the `position` option will be used as a fallback.
         * @param node the DOM node
         * @param options optional options object
         */
        addPanel(node: HTMLElement, options?: ShowPanelOptions): Panel;
    }
}