diff src/regex.c @ 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 3ea64112b4ba
children db737e34fc36
line wrap: on
line diff