import { IJumpPosition } from './jump';
import { IModelDB, IObservableUndoableList } from '@jupyterlab/observables';
import { JSONValue } from '@lumino/coreutils';
export declare class JumpHistory {
    jump_history: IObservableUndoableList<JSONValue>;
    model_db: IModelDB;
    constructor(model_db: IModelDB);
    ensure_history_is_ready(): void;
    store(position: IJumpPosition): void;
    recollect(): IJumpPosition;
}