Server IP : 209.38.156.173 / Your IP : 216.73.216.128 [ Web Server : Apache/2.4.52 (Ubuntu) System : Linux lakekumayuhotel 5.15.0-136-generic #147-Ubuntu SMP Sat Mar 15 15:53:30 UTC 2025 x86_64 User : root ( 0) PHP Version : 8.1.2-1ubuntu2.22 Disable Function : NONE Domains : 2 Domains MySQL : OFF | cURL : ON | WGET : ON | Perl : ON | Python : OFF | Sudo : ON | Pkexec : ON Directory : /proc/thread-self/root/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; } }