From a333d74d61e25bd455f0d9df7c97d51fedb856e8 Mon Sep 17 00:00:00 2001 From: Benjamin Pasero Date: Fri, 27 May 2016 17:14:54 +0200 Subject: [PATCH] search looses focus when jumping between results that are not pinned --- src/vs/workbench/parts/search/browser/searchViewlet.ts | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) diff --git a/src/vs/workbench/parts/search/browser/searchViewlet.ts b/src/vs/workbench/parts/search/browser/searchViewlet.ts index e6785c989db..cbedd499d80 100644 --- a/src/vs/workbench/parts/search/browser/searchViewlet.ts +++ b/src/vs/workbench/parts/search/browser/searchViewlet.ts @@ -1365,7 +1365,13 @@ export class SearchViewlet extends Viewlet { this.viewModel = this.instantiationService.createInstance(SearchResult, query.contentPattern); this.tree.setInput(this.viewModel).then(() => { autoExpand(false); - this.callOnModelChange.push(this.viewModel.addListener2('changed', (e: any) => this.tree.refresh(e, true))); + this.callOnModelChange.push(this.viewModel.addListener2('changed', (e: any) => { + const focus = this.tree.isDOMFocused(); + this.tree.refresh(e, true); + if (focus) { + this.tree.DOMFocus(); + } + })); }).done(null, errors.onUnexpectedError); } -- GitLab