Re: trunk read-key-sequence bug

[Richard Stallman]

I think this fixes the bug.  Does it give good results in general?

*** keyboard.c  04 Jan 2008 00:28:05 -0500      1.936
--- keyboard.c  19 Jan 2008 14:13:04 -0500      
***************
*** 2715,2720 ****
--- 2715,2722 ----
    /* if redisplay was requested */
    if (commandflag >= 0)
      {
+       int echo_current = echo_message_buffer == echo_area_buffer[0];
+ 
        /* If there is pending input, process any events which are not
           user-visible, such as X selection_request events.  */
        if (input_pending
***************
*** 2738,2743 ****
--- 2740,2749 ----
          swallow_events (0);
          /* If that cleared input_pending, try again to redisplay.  */
        }
+ 
+       if (commandflag == 0 && echo_current)
+       echo_message_buffer = echo_area_buffer[0];
+ 
      }
  
    /* Message turns off echoing unless more keystrokes turn it on again.