@jupyter-lsp/jupyterlab-lsp/lib/features/diagnostics/index.d.ts

Language Server Protocol integration for JupyterLab

import { JupyterFrontEndPlugin } from '@jupyterlab/application';
import { IDiagnosticsFeature } from './tokens';
export declare namespace CommandIDs {
    const showPanel = "lsp:show-diagnostics-panel";
}
export declare const DIAGNOSTICS_PLUGIN: JupyterFrontEndPlugin<IDiagnosticsFeature>;