# HG changeset patch
# User Gerd Moellmann <gerd@gnu.org>
# Date 1001505725 0
# Node ID 6e2cada778365eb7ec59643ec0fde1d06514a68b
# Parent  68c925e471a443031199321b2a52ed438bafd40e
(with_echo_area_buffer): Use echo_kboard instead
of the only tempoarily set echoing flag for deciding when
the cancel echoing.

diff -r 68c925e471a4 -r 6e2cada77836 src/xdisp.c
--- 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,