diff config.bat @ 46077:afcc2cec9ba0

(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.
author Jan Djärv <jan.h.d@swipnet.se>
date Fri, 28 Jun 2002 19:43:33 +0000
parents aaff735de38e
children 695cf19ef79e d7ddb3e565de
line wrap: on
line diff