From 758a6bdf2c6c8fbe9da3c26b70de37f00f9e9d5a Mon Sep 17 00:00:00 2001 From: Raymond Zhao <7199958+rzhao271@users.noreply.github.com> Date: Tue, 20 Sep 2022 10:45:36 -0700 Subject: [PATCH] Also re-search if target element not found Fixes #161305 --- src/vs/workbench/contrib/preferences/browser/settingsEditor2.ts | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/vs/workbench/contrib/preferences/browser/settingsEditor2.ts b/src/vs/workbench/contrib/preferences/browser/settingsEditor2.ts index 5272b1f6564f6..69f441beb3d93 100644 --- a/src/vs/workbench/contrib/preferences/browser/settingsEditor2.ts +++ b/src/vs/workbench/contrib/preferences/browser/settingsEditor2.ts @@ -699,7 +699,7 @@ export class SettingsEditor2 extends EditorPane { } } - if (!recursed && revealFailed) { + if (!recursed && (!targetElement || revealFailed)) { // We'll call this event handler again after clearing the search query, // so that more settings show up in the list. const p = this.triggerSearch('');