import type { DocumentRegistry } from '@jupyterlab/docregistry'; import type { TranslationBundle } from '@jupyterlab/translation'; import { ReactWidget } from '@jupyterlab/ui-components'; import type { CommandRegistry } from '@lumino/commands'; import type { IAgent } from '../launcher/agents'; import type { OmniboxRecents } from './recents'; /** * The omnibox overlay widget. Hosts {@link OmniboxComponent} in a React root * attached to `document.body`. It carries `jp-ThemedContainer` so JupyterLab's * theme CSS variables resolve outside the shell, and its own `jp-xtralab-Omnibox` * class for the overlay/panel styling (style/omnibox.css). */ export declare class OmniboxWidget extends ReactWidget { constructor(options: OmniboxWidget.IOptions); render(): JSX.Element; private _options; } /** * A namespace for `OmniboxWidget` statics. */ export declare namespace OmniboxWidget { /** * Construction options for {@link OmniboxWidget}. */ interface IOptions { commands: CommandRegistry; docRegistry: DocumentRegistry; /** * Snapshot of the available agents, read once when the overlay opens. */ agents: IAgent[]; /** * Placeholder text for the input. */ placeholder: string; /** * Seed text for the input. */ initialQuery: string; /** * Recently-used tracker; `null` disables the recent rows and recording. */ recents: OmniboxRecents | null; /** * Translation bundle for the overlay's own labels. */ trans: TranslationBundle; /** * Dismiss the overlay (the plugin disposes the widget). */ onClose: () => void; } }