@krassowski/jupyterlab_go_to_definition/lib/history.d.ts

Jump to definition of a variable or function in JupyterLab

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;
}