XWIDGET_EVENT    4212 src/keyboard.c       case XWIDGET_EVENT:
XWIDGET_EVENT    6957 src/keyboard.c     case XWIDGET_EVENT:
XWIDGET_EVENT    2270 src/xwidget.c    event.kind = XWIDGET_EVENT;
XWIDGET_EVENT    2286 src/xwidget.c    event.kind = XWIDGET_EVENT;
XWIDGET_EVENT    2305 src/xwidget.c    event.kind = XWIDGET_EVENT;