From 46996ba86447ec5b1a85686925f042f3c1e97244 Mon Sep 17 00:00:00 2001 From: Raymond Zhao Date: Wed, 13 Oct 2021 17:33:48 -0700 Subject: [PATCH] Scroll the tree to the top after search Fixes #133946 --- src/vs/workbench/contrib/preferences/browser/settingsEditor2.ts | 1 + 1 file changed, 1 insertion(+) diff --git a/src/vs/workbench/contrib/preferences/browser/settingsEditor2.ts b/src/vs/workbench/contrib/preferences/browser/settingsEditor2.ts index bbe3ed7e597..b1d7e369d19 100644 --- a/src/vs/workbench/contrib/preferences/browser/settingsEditor2.ts +++ b/src/vs/workbench/contrib/preferences/browser/settingsEditor2.ts @@ -1374,6 +1374,7 @@ export class SettingsEditor2 extends EditorPane { this.refreshTOCTree(); this.renderTree(undefined, true); + this.settingsTree.scrollTop = 0; return result; }); }