Merge pull request #82972 from frobinsonj/fix-80741

Filter out dead keys in tree keyboard navigation
This commit is contained in:
João Moreno 2019-10-21 15:42:50 +02:00 committed by GitHub
commit cfb88f21c9
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)