/**
 * 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.
 */
/**
 * Default level of the severity for diagnostics without severity provided by the language server.
 */
export type DefaultSeverityLevel = 'Error' | 'Warning' | 'Information' | 'Hint';
export type ShowGutterExperimentalRequiresRestart = boolean;
export type DelayBetweenTypingAndRefreshingDiagnosticRequiresRestart = number;
/**
 * Codes of diagnostics which should not be shown in the panel nor highlighted in the editor.
 */
export type DiagnosticCodesToIgnore = string[];
/**
 * Regular expressions matching messages of diagnostics which should not be shown in the panel nor highlighted in the editor.
 */
export type DiagnosticMessagesToIgnore = string[];
/**
 * Severities of diagnostics which should not be shown in the panel nor highlighted in the editor.
 */
export type DiagnosticSeverityLevelsToIgnore = ('Error' | 'Warning' | 'Information' | 'Hint')[];
/**
 * Disable this feature. Requires reloading JupyterLab to apply changes.
 */
export type Disable = boolean;
/**
 * LSP Diagnostics (linter results) settings.
 */
export interface CodeDiagnostics {
    defaultSeverity?: DefaultSeverityLevel;
    gutter?: ShowGutterExperimentalRequiresRestart;
    debounceDelay?: DelayBetweenTypingAndRefreshingDiagnosticRequiresRestart;
    ignoreCodes?: DiagnosticCodesToIgnore;
    ignoreMessagesPatterns?: DiagnosticMessagesToIgnore;
    ignoreSeverities?: DiagnosticSeverityLevelsToIgnore;
    disable?: Disable;
    [k: string]: any;
}