(echo_area_display): If cursor is in the echo area, make
authorGerd Moellmann <gerd@gnu.org>
Thu, 30 Nov 2000 21:57:27 +0000 (21:57 +0000)
committerGerd Moellmann <gerd@gnu.org>
Thu, 30 Nov 2000 21:57:27 +0000 (21:57 +0000)
commit31b6671b0f630bb35cc964eaa49bc0404b6651e3
tree527f762836d2eaa9e560e85038b0bfef61848859
parenteccc05db421c45a9d55d20e5f80d53ce2e10ace8
(echo_area_display): If cursor is in the echo area, make
sure that the next redisplay displays the minibuffer, so that
the cursor will be replaced with what the minibuffer wants.
src/ChangeLog
src/xdisp.c