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