/**
 * 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.
 */
/**
 * Number of milliseconds to delay sending out the hover request to the language server.
 */
export type ThrottlerDelay = number;
/**
 * Disable this feature. Requires reloading JupyterLab to apply changes.
 */
export type Disable = boolean;
/**
 * LSP Symbols (table of contents integration).
 */
export interface CodeSymbols {
    throttlerDelay?: ThrottlerDelay;
    disable?: Disable;
    [k: string]: any;
}