* src/keyboard.c (kbd_buffer_get_event): Use 'switch' ...