From f1756b427f64e226dca85a93dc5ef2087edbfbe3 Mon Sep 17 00:00:00 2001 From: Rob Lourens Date: Fri, 27 Jul 2018 09:18:42 -0700 Subject: [PATCH] Settings editor filterByTag - focus search input and add a space after tag --- src/vs/workbench/parts/preferences/browser/settingsEditor2.ts | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/vs/workbench/parts/preferences/browser/settingsEditor2.ts b/src/vs/workbench/parts/preferences/browser/settingsEditor2.ts index 5d6ed7375b6..8ec337a949c 100644 --- a/src/vs/workbench/parts/preferences/browser/settingsEditor2.ts +++ b/src/vs/workbench/parts/preferences/browser/settingsEditor2.ts @@ -182,7 +182,8 @@ export class SettingsEditor2 extends BaseEditor { filterByTag(tag: string): void { if (this.searchWidget) { - this.searchWidget.setValue(`@tag:${tag}`); + this.searchWidget.focus(); + this.searchWidget.setValue(`@tag:${tag} `); } }