changeset 37192:0da12cd77952

(with_echo_area_buffer): Avoid confusion from reusing the buffer that was used for echoing.
author Gerd Moellmann <gerd@gnu.org>
date Wed, 04 Apr 2001 14:05:39 +0000
parents 58527e038324
children a6aec910476e
files src/xdisp.c
diffstat 1 files changed, 5 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- 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));