# HG changeset patch
# User Gerd Moellmann <gerd@gnu.org>
# Date 996674136 0
# Node ID c1dc55683398300ff64b47502622b9c79b574ae9
# Parent  b6a0070476c7e5e798ee4834dbd63eb72d661776
(redisplay_internal): Add a check for the last
displayed message.

diff -r b6a0070476c7 -r c1dc55683398 src/xdisp.c
--- a/src/xdisp.c	Wed Aug 01 13:44:45 2001 +0000
+++ b/src/xdisp.c	Wed Aug 01 13:55:36 2001 +0000
@@ -8416,7 +8416,9 @@
      the update may have been preempted, so display the echo area
      again here.  Checking message_cleared_p captures the case that
      the echo area should be cleared.  */
-  if (!NILP (echo_area_buffer[0]) || message_cleared_p)
+  if ((!NILP (echo_area_buffer[0]) && !display_last_displayed_message_p)
+      || (!NILP (echo_area_buffer[1]) && display_last_displayed_message_p)
+      || message_cleared_p)
     {
       int window_height_changed_p = echo_area_display (0);
       must_finish = 1;