/*fprintf(stderr, "choose_key_event type=%d state=%#x keyval=%#x\n",
event->type, event->state, event->keyval);*/
switch(event->keyval) {
/*fprintf(stderr, "choose_key_event type=%d state=%#x keyval=%#x\n",
event->type, event->state, event->keyval);*/
switch(event->keyval) {