import { Widget, Message, BaseWidget, StatefulWidget } from '@theia/core/lib/browser'; import { SearchInWorkspaceResultTreeWidget } from './search-in-workspace-result-tree-widget'; import { SearchInWorkspaceOptions } from '../common/search-in-workspace-interface'; import * as React from '@theia/core/shared/react'; import { Root } from '@theia/core/shared/react-dom/client'; import { Event, Emitter } from '@theia/core/lib/common'; import { WorkspaceSearchFilterService, WorkspaceService } from '@theia/workspace/lib/browser'; import { SearchInWorkspaceContextKeyService } from './search-in-workspace-context-key-service'; import { CancellationTokenSource } from '@theia/core'; import { ProgressBarFactory } from '@theia/core/lib/browser/progress-bar-factory'; import { EditorManager } from '@theia/editor/lib/browser'; import { SearchInWorkspacePreferences } from '../common/search-in-workspace-preferences'; export interface SearchFieldState { className: string; enabled: boolean; title: string; } export declare class SearchInWorkspaceWidget extends BaseWidget implements StatefulWidget { static ID: string; static LABEL: string; protected matchCaseState: SearchFieldState; protected wholeWordState: SearchFieldState; protected regExpState: SearchFieldState; protected useExcludeSettingsState: SearchFieldState; protected showSearchDetails: boolean; protected _hasResults: boolean; protected get hasResults(): boolean; protected set hasResults(hasResults: boolean); protected resultNumber: number; protected searchFieldContainerIsFocused: boolean; protected searchInWorkspaceOptions: SearchInWorkspaceOptions; protected searchTerm: string; protected replaceTerm: string; private searchRef; private replaceRef; private includeRef; private excludeRef; private refsAreSet; protected _showReplaceField: boolean; protected get showReplaceField(): boolean; protected set showReplaceField(showReplaceField: boolean); protected contentNode: HTMLElement; protected searchFormContainer: HTMLElement; protected resultContainer: HTMLElement; protected readonly onDidUpdateEmitter: Emitter; readonly onDidUpdate: Event; readonly resultTreeWidget: SearchInWorkspaceResultTreeWidget; protected readonly workspaceService: WorkspaceService; protected readonly contextKeyService: SearchInWorkspaceContextKeyService; protected readonly progressBarFactory: ProgressBarFactory; protected readonly editorManager: EditorManager; protected readonly searchInWorkspacePreferences: SearchInWorkspacePreferences; protected readonly searchFilterService: WorkspaceSearchFilterService; protected searchFormContainerRoot: Root; protected init(): void; storeState(): object; restoreState(oldState: any): void; findInFolder(uris: string[]): void; /** * Update the search term and input field. * @param term the search term. * @param showReplaceField controls if the replace field should be displayed. */ updateSearchTerm(term: string, showReplaceField?: boolean): void; hasResultList(): boolean; hasSearchTerm(): boolean; refresh(): void; getCancelIndicator(): CancellationTokenSource | undefined; collapseAll(): void; expandAll(): void; areResultsCollapsed(): boolean; clear(): void; protected onAfterAttach(msg: Message): void; protected onUpdateRequest(msg: Message): void; protected onResize(msg: Widget.ResizeMessage): void; protected onAfterShow(msg: Message): void; protected onAfterHide(msg: Message): void; protected onActivateRequest(msg: Message): void; protected focusInputField(): Promise; protected renderSearchHeader(): React.ReactNode; protected renderSearchAndReplace(): React.ReactNode; protected renderReplaceFieldToggle(): React.ReactNode; protected renderNotification(): React.ReactNode; protected readonly focusSearchFieldContainer: () => void; protected doFocusSearchFieldContainer(): void; protected readonly blurSearchFieldContainer: () => void; protected doBlurSearchFieldContainer(): void; private _searchTimeout; protected readonly search: (e: React.KeyboardEvent) => void; protected readonly onKeyDownSearch: (e: React.KeyboardEvent) => void; protected doSearch(e: React.KeyboardEvent): void; protected performSearch(): void; protected shouldFollowSymlinks(): boolean; /** * Determine if search should be case sensitive. */ protected shouldMatchCase(): boolean; protected renderSearchField(): React.ReactNode; protected handleFocusSearchInputBox: (event: React.FocusEvent) => void; protected handleBlurSearchInputBox: (event: React.FocusEvent) => void; protected readonly updateReplaceTerm: (e: React.KeyboardEvent) => void; protected doUpdateReplaceTerm(e: React.KeyboardEvent): void; protected renderReplaceField(): React.ReactNode; protected handleFocusReplaceInputBox: (event: React.FocusEvent) => void; protected handleBlurReplaceInputBox: (event: React.FocusEvent) => void; protected renderReplaceAllButtonContainer(): React.ReactNode; protected renderOptionContainer(): React.ReactNode; protected renderOptionElement(opt: SearchFieldState): React.ReactNode; protected handleOptionClick(option: SearchFieldState): void; protected updateSearchOptions(): void; protected renderSearchDetails(): React.ReactNode; protected renderGlobFieldContainer(): React.ReactNode; protected renderExpandGlobFieldsButton(): React.ReactNode; protected renderGlobField(kind: 'include' | 'exclude'): React.ReactNode; protected handleFocusIncludesInputBox: () => void; protected handleBlurIncludesInputBox: () => void; protected handleFocusExcludesInputBox: () => void; protected handleBlurExcludesInputBox: () => void; protected splitOnComma(patterns: string): string[]; protected renderSearchInfo(): React.ReactNode; protected getSearchResultMessage(): string | undefined; } //# sourceMappingURL=search-in-workspace-widget.d.ts.map