is_ignored_event  391 src/keyboard.c static bool is_ignored_event (union buffered_input_event *);
is_ignored_event 3564 src/keyboard.c 			 && is_ignored_event (event))))
is_ignored_event 3754 src/keyboard.c       && !is_ignored_event (event))