comparison src/w32gui.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 22afed8d7e3f
children d943962e1b24
comparison
equal deleted inserted replaced
37397:ec77fd25c155 37398:756d2f4e4058