From 130d231fd5caefa9593f45f2a047325ea8ba1548 Mon Sep 17 00:00:00 2001 From: Freddy Date: Mon, 21 Oct 2019 11:56:35 +0100 Subject: [PATCH] Filter dead keys in tree keyboard navigation Fixes #80741 --- 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 1408a017c68..8fd80836385 100644 --- a/src/vs/base/browser/ui/tree/abstractTree.ts +++ b/src/vs/base/browser/ui/tree/abstractTree.ts @@ -657,6 +657,7 @@ class TypeFilterController implements IDisposable { const onKeyDown = Event.chain(domEvent(this.view.getHTMLElement(), 'keydown')) .filter(e => !isInputElement(e.target as HTMLElement) || e.target === this.filterOnTypeDomNode) + .filter(e => e.key !== 'Dead') .map(e => new StandardKeyboardEvent(e)) .filter(this.keyboardNavigationEventFilter || (() => true)) .filter(() => this.automaticKeyboardNavigation || this.triggered) -- GitLab