提交 2404dc0a 编写于 作者: B Benjamin Pasero

Revert "search looses focus when jumping between results that are not pinned"

This reverts commit a333d74d.
上级 33184c04
...@@ -1368,13 +1368,7 @@ export class SearchViewlet extends Viewlet { ...@@ -1368,13 +1368,7 @@ export class SearchViewlet extends Viewlet {
this.viewModel = this.instantiationService.createInstance(SearchResult, query.contentPattern); this.viewModel = this.instantiationService.createInstance(SearchResult, query.contentPattern);
this.tree.setInput(this.viewModel).then(() => { this.tree.setInput(this.viewModel).then(() => {
autoExpand(false); autoExpand(false);
this.callOnModelChange.push(this.viewModel.addListener2('changed', (e: any) => { this.callOnModelChange.push(this.viewModel.addListener2('changed', (e: any) => this.tree.refresh(e, true)));
const focus = this.tree.isDOMFocused();
this.tree.refresh(e, true);
if (focus) {
this.tree.DOMFocus();
}
}));
}).done(null, errors.onUnexpectedError); }).done(null, errors.onUnexpectedError);
} }
......
Markdown is supported
0% .
You are about to add 0 people to the discussion. Proceed with caution.
先完成此消息的编辑!
想要评论请 注册