FM / display

/usr/share/nodejs/@types/codemirror/types-codemirror/addon/display/

/usr/share/nodejs/@types/codemirror/types-codemirror/addon/display

Name	Size	Mode	Actions
autorefresh.d.ts	297	0644	edit dl rm
fullscreen.d.ts	404	0644	edit dl rm
panel.d.ts	1854	0644	edit dl rm
placeholder.d.ts	429	0644	edit dl rm
rulers.d.ts	404	0644	edit dl rm

Edit: /usr/share/nodejs/@types/codemirror/types-codemirror/addon/display/panel.d.ts (1854B)

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;
    }
}

cmd: