import { ITranslator } from '@jupyterlab/translation'; import { VDomRenderer } from '@jupyterlab/ui-components'; import { ISignal } from '@lumino/signaling'; import { CommandRegistry } from '@lumino/commands'; import { Message } from '@lumino/messaging'; import { SearchDocumentModel } from './searchmodel'; /** * Provides information about keybindings for display in tooltips. */ export interface ISearchKeyBindings { readonly next?: CommandRegistry.IKeyBinding; readonly previous?: CommandRegistry.IKeyBinding; readonly toggleSearchInSelection?: CommandRegistry.IKeyBinding; } /** * Search document widget */ export declare class SearchDocumentView extends VDomRenderer { protected translator?: ITranslator | undefined; /** * Search document widget constructor. * * @param model Search document model * @param translator Application translator object * @param keyBindings Search keybindings * */ constructor(model: SearchDocumentModel, translator?: ITranslator | undefined, keyBindings?: ISearchKeyBindings); /** * A signal emitted when the widget is closed. * * Closing the widget detached it from the DOM but does not dispose it. */ get closed(): ISignal; /** * Focus search input. */ focusSearchInput(): void; /** * Set the initial search text. */ setSearchText(search: string): void; /** * Set the replace text * * It does not trigger a view update. */ setReplaceText(replace: string): void; /** * Show the replacement input box. */ showReplace(): void; /** * A message handler invoked on a `'close-request'` message. * * #### Notes * On top of the default implementation emit closed signal and end model query. */ protected onCloseRequest(msg: Message): void; protected setReplaceInputVisibility(v: boolean): void; protected setFiltersVisibility(v: boolean): void; render(): JSX.Element; private _renderOverlay; private _searchInput; private _showReplace; private _showFilters; private _closed; private _keyBindings?; }