@theia/search-in-workspace 1.45.0 → 1.46.0-next.72

package/lib/browser/search-in-workspace-widget.d.ts

@@ -1,122 +1,122 @@
-/// <reference types="react" />
-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 { 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 './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 includeIgnoredState: 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;
-    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<void>;
-    readonly onDidUpdate: Event<void>;
-    readonly resultTreeWidget: SearchInWorkspaceResultTreeWidget;
-    protected readonly workspaceService: WorkspaceService;
-    protected readonly contextKeyService: SearchInWorkspaceContextKeyService;
-    protected readonly progressBarFactory: ProgressBarFactory;
-    protected readonly editorManager: EditorManager;
-    protected readonly searchInWorkspacePreferences: SearchInWorkspacePreferences;
-    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(): void;
-    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<HTMLTextAreaElement>) => void;
-    protected handleBlurSearchInputBox: (event: React.FocusEvent<HTMLTextAreaElement>) => void;
-    protected readonly updateReplaceTerm: (e: React.KeyboardEvent) => void;
-    protected doUpdateReplaceTerm(e: React.KeyboardEvent): void;
-    protected renderReplaceField(): React.ReactNode;
-    protected handleFocusReplaceInputBox: (event: React.FocusEvent<HTMLTextAreaElement>) => void;
-    protected handleBlurReplaceInputBox: (event: React.FocusEvent<HTMLTextAreaElement>) => 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;
-}
+/// <reference types="react" />
+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 { 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 './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 includeIgnoredState: 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;
+    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<void>;
+    readonly onDidUpdate: Event<void>;
+    readonly resultTreeWidget: SearchInWorkspaceResultTreeWidget;
+    protected readonly workspaceService: WorkspaceService;
+    protected readonly contextKeyService: SearchInWorkspaceContextKeyService;
+    protected readonly progressBarFactory: ProgressBarFactory;
+    protected readonly editorManager: EditorManager;
+    protected readonly searchInWorkspacePreferences: SearchInWorkspacePreferences;
+    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(): void;
+    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<HTMLTextAreaElement>) => void;
+    protected handleBlurSearchInputBox: (event: React.FocusEvent<HTMLTextAreaElement>) => void;
+    protected readonly updateReplaceTerm: (e: React.KeyboardEvent) => void;
+    protected doUpdateReplaceTerm(e: React.KeyboardEvent): void;
+    protected renderReplaceField(): React.ReactNode;
+    protected handleFocusReplaceInputBox: (event: React.FocusEvent<HTMLTextAreaElement>) => void;
+    protected handleBlurReplaceInputBox: (event: React.FocusEvent<HTMLTextAreaElement>) => 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