Scroll the tree to the top after search

Fixes #133946
2026-05-08 09:08:48 +01:00 · 2021-10-13 17:33:48 -07:00
parent 7548d58ac6
commit 46996ba864
1 changed files with 1 additions and 0 deletions
@@ -1374,6 +1374,7 @@ export class SettingsEditor2 extends EditorPane {

 			this.refreshTOCTree();
 			this.renderTree(undefined, true);
+			this.settingsTree.scrollTop = 0;
 			return result;
 		});
 	}