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/scroll/ |
Upload File : |
import * as CodeMirror from '../..'; import './searchcursor'; export interface Annotation { clear(): void; /** * Updates the ranges to be highlighted. The array must be sorted. */ update(annotations: Array<{ from: CodeMirror.Position, to: CodeMirror.Position }>): void; } export interface AnnotateScrollbarOptions { className: string; scrollButtonHeight?: number | undefined; listenForChanges?: boolean | undefined; } declare module '../../' { interface Editor { annotateScrollbar(options: string | AnnotateScrollbarOptions): Annotation; } interface EditorConfiguration { scrollButtonHeight?: number | undefined; } }