# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 825309634 0
# Node ID 21d5ceaa4d2399e996eec67212b9395405630a4a
# Parent  d5e14cf7a9904b8d7bdd51e0664dfd6e0a4fc5f9
Commenht change.

diff -r d5e14cf7a990 -r 21d5ceaa4d23 src/xdisp.c
--- a/src/xdisp.c	Mon Feb 26 04:39:49 1996 +0000
+++ b/src/xdisp.c	Mon Feb 26 04:40:34 1996 +0000
@@ -814,7 +814,8 @@
 
 /* If PRESERVE_ECHO_AREA is nonzero, it means this redisplay
    is not in response to any user action; therefore, we should
-   preserve the echo area.  Perhaps in the future avoid recentering windows
+   preserve the echo area.  (Actually, our caller does that job.)
+   Perhaps in the future avoid recentering windows
    if it is not necessary; currently that causes some problems.  */
 
 static void