search looses focus when jumping between results that are not pinned

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);
 				}