diff oldXMenu/X10.h @ 37398:756d2f4e4058

(wait_reading_process_input): Call record_asynch_buffer_change after running timers, to make read_key_sequence aware of buffer changes from under it.
author Gerd Moellmann <gerd@gnu.org>
date Thu, 19 Apr 2001 12:47:33 +0000
parents bbce331da1be
children 23a1cea22d13
line wrap: on
line diff