# HG changeset patch
# User Gerd Moellmann <gerd@gnu.org>
# Date 969892022 0
# Node ID 517180d8eccd5c01e993a574b748356b5aaaacd8
# Parent  de16d989722aca3d35cf88498fd140d6342b7758
(show_help_echo): Set help_echo_showing_p.
(read_char): If help-echo is showing, preserve the echo area
when redisplaying.

diff -r de16d989722a -r 517180d8eccd src/keyboard.c
--- a/src/keyboard.c	Mon Sep 25 14:26:20 2000 +0000
+++ b/src/keyboard.c	Mon Sep 25 14:27:02 2000 +0000
@@ -1986,8 +1986,10 @@
 	      unbind_to (count, Qnil);
 	    }
 	  else
-	    message (0);
-	}
+	      message (0);
+	}
+      
+      help_echo_showing_p = STRINGP (help);
     }
 }
 
@@ -2171,7 +2173,10 @@
       /* Redisplay if no pending input.  */
       while (!input_pending)
 	{
-	  redisplay ();
+	  if (help_echo_showing_p && !EQ (selected_window, minibuf_window))
+	    redisplay_preserve_echo_area ();
+	  else
+	    redisplay ();
 
 	  if (!input_pending)
 	    /* Normal case: no input arrived during redisplay.  */