# HG changeset patch
# User Gerd Moellmann <gerd@gnu.org>
# Date 986393139 0
# Node ID 0da12cd77952cd05206f2c577acc36219bbb9c43
# Parent  58527e03832410fdf41eb2348ba79ce702c8cc27
(with_echo_area_buffer): Avoid confusion from reusing
the buffer that was used for echoing.

diff -r 58527e038324 -r 0da12cd77952 src/xdisp.c
--- a/src/xdisp.c	Wed Apr 04 14:05:18 2001 +0000
+++ b/src/xdisp.c	Wed Apr 04 14:05:39 2001 +0000
@@ -6139,6 +6139,11 @@
 
   buffer = echo_area_buffer[this_one];
 
+  /* Don't get confused by reusing the buffer used for echoing
+     for a different purpose.  */
+  if (!echoing && EQ (buffer, echo_message_buffer))
+    cancel_echoing ();
+
   record_unwind_protect (unwind_with_echo_area_buffer,
 			 with_echo_area_buffer_unwind_data (w));