diff src/.gdbinit @ 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 88e0ba67d3bc
children eb2d3d3a8eb5
line wrap: on
line diff