import { HTMLWidget } from "@hpcc-js/common";
import "../src/Editor.css";
export interface IPosition {
    line: number;
    ch: number;
}
export declare class Editor extends HTMLWidget {
    private _codemirror;
    private _markedText;
    protected _initialText: string;
    options(): any;
    hasFocus(): boolean;
    text(): string;
    text(_: string): this;
    highlight(start: IPosition, end: IPosition): this;
    removeAllHighlight(): this;
    positionAt(i: number): IPosition;
    highlightSubstring(str: string): void;
    enter(domNode: any, element: any): void;
    update(domNode: any, Element: any): void;
    changes(changes: object[]): void;
}
//# sourceMappingURL=Editor.d.ts.map