Scroll to the top earlier after search

rzhao271 · rzhao271 · commit 8440cbc58cfd · 2021-10-15T09:45:13.000-07:00
Fixes microsoft#135134
diff --git a/src/vs/workbench/contrib/preferences/browser/settingsEditor2.ts b/src/vs/workbench/contrib/preferences/browser/settingsEditor2.ts
@@ -1372,9 +1372,9 @@ export class SettingsEditor2 extends EditorPane {
 				this.tocTree.expandAll();
 			}
 
+			this.settingsTree.scrollTop = 0;
 			this.refreshTOCTree();
 			this.renderTree(undefined, true);
-			this.settingsTree.scrollTop = 0;
 			return result;
 		});
 	}

Original file line number	Diff line number	Diff line change
`@@ -1372,9 +1372,9 @@ export class SettingsEditor2 extends EditorPane {`
`1372`	`1372`	`this.tocTree.expandAll();`
`1373`	`1373`	`}`
`1374`	`1374`
	`1375`	`+ this.settingsTree.scrollTop = 0;`
`1375`	`1376`	`this.refreshTOCTree();`
`1376`	`1377`	`this.renderTree(undefined, true);`
`1377`		`- this.settingsTree.scrollTop = 0;`
`1378`	`1378`	`return result;`
`1379`	`1379`	`});`
`1380`	`1380`	`}`