1 | import * as CodeMirror from "../..";
|
2 | import "./searchcursor";
|
3 |
|
4 | export interface Annotation {
|
5 | clear(): void;
|
6 | |
7 |
|
8 |
|
9 | update(annotations: Array<{ from: CodeMirror.Position; to: CodeMirror.Position }>): void;
|
10 | }
|
11 |
|
12 | export interface AnnotateScrollbarOptions {
|
13 | className: string;
|
14 | scrollButtonHeight?: number | undefined;
|
15 | listenForChanges?: boolean | undefined;
|
16 | }
|
17 |
|
18 | declare module "../../" {
|
19 | interface Editor {
|
20 | annotateScrollbar(options: string | AnnotateScrollbarOptions): Annotation;
|
21 | }
|
22 |
|
23 | interface EditorConfiguration {
|
24 | scrollButtonHeight?: number | undefined;
|
25 | }
|
26 | }
|