tree 84839881908ebc0291bca63cc54ec0f274417992
parent 42333cb5b6252061c958ad6d1882720eecd048c6
author Ben Rohlfs <brohlfs@google.com> 1633613809 +0200
committer Ben Rohlfs <brohlfs@google.com> 1633677734 +0200

Sanitize the types of keyboard events

Events emitted via the keyboard shortcut mixin are not normal
KeyboardEvents. Such eventhandlers need a different signature. This was
not very well understoof during the TypeScript migration, and the types
were a total mess. So let's clean this up here and clearly distinguish
KeyboardEvent and IronKeyboardEvent.

Change-Id: Ib4855dff32afda23abcf84a9766a6229c2842e21