@jupyter-lsp/jupyterlab-lsp/lib/_jump_to.d.ts

Language Server Protocol integration for JupyterLab

/**
 * This file was automatically generated by json-schema-to-typescript.
 * DO NOT MODIFY IT BY HAND. Instead, modify the source JSONSchema file,
 * and run json-schema-to-typescript to regenerate this file.
 */
/**
 * Keyboard key which needs to be pressed with click to jump. The allowed keys are Alt, Control, Shift, Accel, and AltGraph. Accel corresponds to Control or Meta (Command on Mac). Linux user: Meta key is also supported. Safari users: Meta key is also supported, AltGraph is not supported. To see which physical keys are mapped, visit: https://developer.mozilla.org/en-US/docs/Web/API/KeyboardEvent/getModifierState
 */
export type ModifierKey = 'Alt' | 'Control' | 'Shift' | 'Meta' | 'AltGraph' | 'Accel';
/**
 * Disable this feature. Requires reloading JupyterLab to apply changes.
 */
export type Disable = boolean;
/**
 * Code Jump
 */
export interface CodeJump {
    modifierKey?: ModifierKey;
    disable?: Disable;
    [k: string]: any;
}