1 | import { Disposable, PixelPosition, PointLike, TextEditor, TextEditorComponent } from "../index";
|
2 |
|
3 |
|
4 |
|
5 |
|
6 | export interface TextEditorElement extends HTMLElement {
|
7 | getModel(): TextEditor;
|
8 | getComponent(): TextEditorComponent;
|
9 | |
10 |
|
11 |
|
12 |
|
13 | getNextUpdatePromise(): Promise<void>;
|
14 |
|
15 |
|
16 | getBaseCharacterWidth(): number;
|
17 |
|
18 |
|
19 | scrollToTop(): void;
|
20 |
|
21 |
|
22 | scrollToBottom(): void;
|
23 |
|
24 | hasFocus(): boolean;
|
25 |
|
26 | setScrollTop(scrollTop: number): void;
|
27 | getScrollTop(): number;
|
28 |
|
29 | setScrollLeft(scrollLeft: number): void;
|
30 | getScrollLeft(): number;
|
31 |
|
32 | getScrollHeight(): number;
|
33 |
|
34 |
|
35 | pixelPositionForBufferPosition(bufferPosition: PointLike): PixelPosition;
|
36 |
|
37 |
|
38 | pixelPositionForScreenPosition(screenPosition: PointLike): PixelPosition;
|
39 |
|
40 |
|
41 | onDidChangeScrollTop(callback: (scrollTop: number) => void): Disposable;
|
42 | onDidChangeScrollLeft(callback: (scrollLeft: number) => void): Disposable;
|
43 |
|
44 | onDidAttach(callback: () => void): Disposable;
|
45 |
|
46 | onDidDetach(callback: () => void): Disposable;
|
47 | }
|