import { Editor } from './editor';
export type KeyEventCallbackType = (event: KeyboardEvent) => void;
export declare class ExternalEditor extends Editor {
    key_event_callback?: KeyEventCallbackType;
    get active(): boolean;
    Reset(): void;
    /**
     * attach to a set of nodes (one is fine).
     */
    AttachNodes(nodes?: HTMLElement[], assume_formula?: boolean): void;
}