From 9cf8dc0579203bd85a9d0e2087c659f23f855c5e Mon Sep 17 00:00:00 2001 From: Jackson Kearl Date: Thu, 16 Jan 2020 17:03:38 -0800 Subject: [PATCH] Add history to search editor --- src/vs/workbench/contrib/search/browser/searchEditor.ts | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/src/vs/workbench/contrib/search/browser/searchEditor.ts b/src/vs/workbench/contrib/search/browser/searchEditor.ts index 936c0d4245e..b6cdddb7a6a 100644 --- a/src/vs/workbench/contrib/search/browser/searchEditor.ts +++ b/src/vs/workbench/contrib/search/browser/searchEditor.ts @@ -65,6 +65,7 @@ export class SearchEditor extends BaseEditor { private inSearchEditorContextKey: IContextKey; private inputFocusContextKey: IContextKey; private searchOperation: LongRunningOperation; + private searchHistoryDelayer: Delayer; constructor( @ITelemetryService telemetryService: ITelemetryService, @@ -85,6 +86,7 @@ export class SearchEditor extends BaseEditor { this.inSearchEditorContextKey = InSearchEditor.bindTo(contextKeyService); this.inputFocusContextKey = InputBoxFocusedKey.bindTo(contextKeyService); this.searchOperation = this._register(new LongRunningOperation(progressService)); + this.searchHistoryDelayer = new Delayer(2000); } createEditor(parent: HTMLElement) { @@ -240,6 +242,12 @@ export class SearchEditor extends BaseEditor { private async doRunSearch() { const startInput = this.input; + this.searchHistoryDelayer.trigger(() => { + this.queryEditorWidget.searchInput.onSearchSubmit(); + this.inputPatternExcludes.onSearchSubmit(); + this.inputPatternIncludes.onSearchSubmit(); + }); + const config: SearchConfiguration = { caseSensitive: this.queryEditorWidget.searchInput.getCaseSensitive(), contextLines: this.queryEditorWidget.contextLines(),