I didn't mention anything about event_to_shortcut; that's actually used in the code. Just pointing out that trigger_keydown has just been made unreachable here, but the actual definition is what should be removed.