@krassowski/jupyterlab_go_to_definition/lib/editors/editor.d.ts

Jump to definition of a variable or function in JupyterLab

import { CodeEditor } from '@jupyterlab/codeeditor';
export declare type KeyModifier = 'Alt' | 'Control' | 'Shift' | 'Meta' | 'AltGraph';
export interface ITokensProvider {
    getTokens(): Array<CodeEditor.IToken>;
    getTokenAt(offset: number): CodeEditor.IToken;
}
export interface IEditorExtension extends ITokensProvider {
    editor: CodeEditor.IEditor;
    selectToken(lookupName: string, target: Node): CodeEditor.IToken;
    connect(modifierKey: KeyModifier): void;
}