diff src/w32menu.c @ 71138:5cf77229c85d

(sit_for): Perform redisplay even if input is pending when redisplay-dont-pause is non-nil.
author Kim F. Storm <storm@cua.dk>
date Thu, 01 Jun 2006 13:53:19 +0000
parents c5278c858018
children 6e63f47b8977 a802c5505156
line wrap: on
line diff