diff src/xdisp.c @ 37192:0da12cd77952

(with_echo_area_buffer): Avoid confusion from reusing the buffer that was used for echoing.

--- 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));