import { IDocumentWidget } from '@jupyterlab/docregistry'; import { VirtualDocument, WidgetLSPAdapter } from '@jupyterlab/lsp'; import { TranslationBundle } from '@jupyterlab/translation'; import React from 'react'; import { TLanguageServerSpec } from '../tokens'; export declare function getBreadcrumbs(document: VirtualDocument, adapter: WidgetLSPAdapter, trans?: TranslationBundle, collapse?: boolean): JSX.Element[]; export declare function DocumentLocator(props: { document: VirtualDocument; adapter: WidgetLSPAdapter; trans?: TranslationBundle; }): React.JSX.Element; export declare function ServerLinksList(props: { specification: TLanguageServerSpec; }): React.JSX.Element;