Handle KP symbols
We have a bunch of defined keysyms for keypad keys:
#define GDK_KEY_KP_Space 0xff80
#define GDK_KEY_KP_Tab 0xff89
#define GDK_KEY_KP_Enter 0xff8d
#define GDK_KEY_KP_F1 0xff91
#define GDK_KEY_KP_F2 0xff92
#define GDK_KEY_KP_F3 0xff93
#define GDK_KEY_KP_F4 0xff94
#define GDK_KEY_KP_Home 0xff95
#define GDK_KEY_KP_Left 0xff96
#define GDK_KEY_KP_Up 0xff97
#define GDK_KEY_KP_Right 0xff98
#define GDK_KEY_KP_Down 0xff99
#define GDK_KEY_KP_Prior 0xff9a
#define GDK_KEY_KP_Page_Up 0xff9a
#define GDK_KEY_KP_Next 0xff9b
#define GDK_KEY_KP_Page_Down 0xff9b
#define GDK_KEY_KP_End 0xff9c
#define GDK_KEY_KP_Begin 0xff9d
#define GDK_KEY_KP_Insert 0xff9e
#define GDK_KEY_KP_Delete 0xff9f
#define GDK_KEY_KP_Equal 0xffbd
#define GDK_KEY_KP_Multiply 0xffaa
#define GDK_KEY_KP_Add 0xffab
#define GDK_KEY_KP_Separator 0xffac
#define GDK_KEY_KP_Subtract 0xffad
#define GDK_KEY_KP_Decimal 0xffae
It would be nice to make sure that we handle these where it makes sense.