better to send no key for skip event (#462)

I didn't think much about it on my first patch but when skip_key_event
is set the KEY_UNKNOWN is repeated. Better to send no key at all.
pull/478/head
Chakib Benziane 4 weeks ago committed by GitHub
parent 69ac3b08d8
commit ac0f4aa3ee
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

@ -354,7 +354,7 @@ impl EventHandler {
if skip_key_event {
// Do not dispatch the original key
vec![(Key::KEY_UNKNOWN, value)]
vec![]
} else {
// dispatch the original key
vec![(key, value)]

Loading…
Cancel
Save