diff src/w32gui.h @ 30721:43684600b975

(echo_area_display): Display thoroughly if input is pending. Bind redisplay-dont-pause to t during the redisplay. in case input is pending.
author Gerd Moellmann <gerd@gnu.org>
date Wed, 09 Aug 2000 18:40:39 +0000
parents beb7f126f175
children 1c1c5d1eb49c
line wrap: on
line diff