diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/xdisp.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/xdisp.c b/src/xdisp.c index 8da52d6546e..5a0b9b60394 100644 --- a/src/xdisp.c +++ b/src/xdisp.c | |||
| @@ -8418,7 +8418,7 @@ redisplay_internal (preserve_echo_area) | |||
| 8418 | the echo area should be cleared. */ | 8418 | the echo area should be cleared. */ |
| 8419 | if ((!NILP (echo_area_buffer[0]) && !display_last_displayed_message_p) | 8419 | if ((!NILP (echo_area_buffer[0]) && !display_last_displayed_message_p) |
| 8420 | || (!NILP (echo_area_buffer[1]) && display_last_displayed_message_p) | 8420 | || (!NILP (echo_area_buffer[1]) && display_last_displayed_message_p) |
| 8421 | || message_cleared_p) | 8421 | || (message_cleared_p && minibuf_level == 0)) |
| 8422 | { | 8422 | { |
| 8423 | int window_height_changed_p = echo_area_display (0); | 8423 | int window_height_changed_p = echo_area_display (0); |
| 8424 | must_finish = 1; | 8424 | must_finish = 1; |