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;