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