Interface UndoManager

interface UndoManager {
    add(delta: Delta, allowMerge: boolean, session: EditSession): void;
    addSelection(selection: string, rev?: number): void;
    addSession(session: EditSession): void;
    bookmark(rev?: number): void;
    canRedo(): boolean;
    canUndo(): boolean;
    getDeltas(from: number, to?: number): Delta[];
    getRevision(): number;
    getSelection(rev: number, after?: boolean): { rev: number; value: string };
    hasRedo(): boolean;
    hasUndo(): boolean;
    isAtBookmark(): boolean;
    isClean(): boolean;
    markClean(rev?: number): void;
    markIgnored(from: number, to?: number): void;
    redo(session: EditSession, dontSelect?: boolean): void;
    reset(): void;
    startNewGroup(): void;
    undo(session: EditSession, dontSelect?: boolean): void;
}