Filter dead keys in tree keyboard navigation

Fixes #80741
This commit is contained in:
Freddy 2019-10-21 11:56:35 +01:00 committed by GitHub
parent 82ca6ba87f
commit 130d231fd5
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -657,6 +657,7 @@ class TypeFilterController<T, TFilterData> 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)