@jupyter-lsp/code-jumpers/lib/history.js

Implementation underlying the jump to definition functionality in JupyterLab-LSP

const DATABASE = [];
export class JumpHistory {
    store(position) {
        DATABASE.push(position);
    }
    // TODO: recollect should take a param with current position;
    // It shold only go back if current contents_path is the same
    // as the last one on the stack (or a previous disjoint one).
    // Probably the jump paths should not be in an array of arrays.
    recollect() {
        return DATABASE.pop();
    }
}
//# sourceMappingURL=history.js.map