8f91fe4cd1
This key repeat filtering seems to be needed now. See #800.
This reverts commit 53dccbde2a.
This key repeat filtering seems to be needed now. See #800.
This reverts commit 53dccbde2a.