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>;
