提交 631bbceb 编写于 作者: B Bailey

Switch to getRelativeTop

上级 a48bce6f
......@@ -675,7 +675,11 @@ export class ExplorerView extends ViewPane {
if (item.isDisposed) {
return this.onSelectResource(resource, reveal, retry + 1);
}
this.tree.reveal(item, 0.5);
// Don't scroll to the item if it's already visible
if (this.tree.getRelativeTop(item) === null) {
this.tree.reveal(item, 0.5);
}
}
this.tree.setFocus([item]);
......
Markdown is supported
0% .
You are about to add 0 people to the discussion. Proceed with caution.
先完成此消息的编辑!
想要评论请 注册