(readable_filtered_events): New function.
(readable_events): Call readable_filtered_events. (get_filtered_input_pending): New function. (get_input_pending): Call get_filtered_input_pending. (Finput_pending_p): Call get_filtered_input_pending.
Showing
Please register or sign in to comment