diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/xdisp.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/xdisp.c b/src/xdisp.c index 69cb8d79806..744fb83c891 100644 --- a/src/xdisp.c +++ b/src/xdisp.c | |||
| @@ -814,7 +814,8 @@ redisplay () | |||
| 814 | 814 | ||
| 815 | /* If PRESERVE_ECHO_AREA is nonzero, it means this redisplay | 815 | /* If PRESERVE_ECHO_AREA is nonzero, it means this redisplay |
| 816 | is not in response to any user action; therefore, we should | 816 | is not in response to any user action; therefore, we should |
| 817 | preserve the echo area. Perhaps in the future avoid recentering windows | 817 | preserve the echo area. (Actually, our caller does that job.) |
| 818 | Perhaps in the future avoid recentering windows | ||
| 818 | if it is not necessary; currently that causes some problems. */ | 819 | if it is not necessary; currently that causes some problems. */ |
| 819 | 820 | ||
| 820 | static void | 821 | static void |