is_ignored_event  415 src/keyboard.c static bool is_ignored_event (union buffered_input_event *);
is_ignored_event 3595 src/keyboard.c 			 && is_ignored_event (event))))
is_ignored_event 3790 src/keyboard.c       && !is_ignored_event (event))