diff src/w32proc.c @ 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 6e6e46d239df
children d0b43907dca5
line wrap: on
line diff