changeset 39453:6e2cada77836

(with_echo_area_buffer): Use echo_kboard instead of the only tempoarily set echoing flag for deciding when the cancel echoing.
author Gerd Moellmann <gerd@gnu.org>
date Wed, 26 Sep 2001 12:02:05 +0000
parents 68c925e471a4
children 08a5c9eea12d
files src/xdisp.c
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/src/xdisp.c	Wed Sep 26 12:01:19 2001 +0000
+++ b/src/xdisp.c	Wed Sep 26 12:02:05 2001 +0000
@@ -6237,7 +6237,7 @@
 
   /* Don't get confused by reusing the buffer used for echoing
      for a different purpose.  */
-  if (!echoing && EQ (buffer, echo_message_buffer))
+  if (echo_kboard == NULL && EQ (buffer, echo_message_buffer))
     cancel_echoing ();
 
   record_unwind_protect (unwind_with_echo_area_buffer,