From e75e51695c310b7cef7a1418aff81fa12eb5117b Mon Sep 17 00:00:00 2001 From: Joao Moreno Date: Mon, 21 Jan 2019 11:18:18 +0100 Subject: [PATCH] focus tree on filter switch --- src/vs/base/browser/ui/tree/abstractTree.ts | 1 + 1 file changed, 1 insertion(+) diff --git a/src/vs/base/browser/ui/tree/abstractTree.ts b/src/vs/base/browser/ui/tree/abstractTree.ts index c0ada858c5b..6d9db831981 100644 --- a/src/vs/base/browser/ui/tree/abstractTree.ts +++ b/src/vs/base/browser/ui/tree/abstractTree.ts @@ -486,6 +486,7 @@ class TypeFilterController implements IDisposable { private onDidChangeFilterOnType(): void { this.tree.updateConfiguration({ filterOnType: this.filterOnType.checked }); + this.tree.domFocus(); this.updateFilterOnTypeTitle(); } -- GitLab