403Webshell
Server IP : 15.235.198.142  /  Your IP : 216.73.216.190
Web Server : Apache/2.4.58 (Ubuntu)
System : Linux ballsack 6.8.0-45-generic #45-Ubuntu SMP PREEMPT_DYNAMIC Fri Aug 30 12:02:04 UTC 2024 x86_64
User : www-data ( 33)
PHP Version : 8.3.6
Disable Function : NONE
MySQL : OFF  |  cURL : ON  |  WGET : ON  |  Perl : ON  |  Python : OFF  |  Sudo : ON  |  Pkexec : OFF
Directory :  /usr/share/nodejs/@types/codemirror/addon/display/

Upload File :
current_dir [ Writeable ] document_root [ Writeable ]

 

Command :


[ Back ]     

Current File : /usr/share/nodejs/@types/codemirror/addon/display/panel.d.ts
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;
    }
}

Youez - 2016 - github.com/yon3zu
LinuXploit