@alcinnz@floss.social Not all keys generate characters. Sometimes one needs to know which key was hit rather than what character would be generated, like for hotkeys.