diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/xdisp.c | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/src/xdisp.c b/src/xdisp.c index 986b4a333ce..c6dec89c2bb 100644 --- a/src/xdisp.c +++ b/src/xdisp.c | |||
| @@ -8467,7 +8467,11 @@ redisplay_internal (preserve_echo_area) | |||
| 8467 | the echo area should be cleared. */ | 8467 | the echo area should be cleared. */ |
| 8468 | if ((!NILP (echo_area_buffer[0]) && !display_last_displayed_message_p) | 8468 | if ((!NILP (echo_area_buffer[0]) && !display_last_displayed_message_p) |
| 8469 | || (!NILP (echo_area_buffer[1]) && display_last_displayed_message_p) | 8469 | || (!NILP (echo_area_buffer[1]) && display_last_displayed_message_p) |
| 8470 | || (message_cleared_p && minibuf_level == 0)) | 8470 | || (message_cleared_p |
| 8471 | && minibuf_level == 0 | ||
| 8472 | /* If the mini-window is currently selected, this means the | ||
| 8473 | echo-area doesn't show through. */ | ||
| 8474 | && !MINI_WINDOW_P (XWINDOW (selected_window)))) | ||
| 8471 | { | 8475 | { |
| 8472 | int window_height_changed_p = echo_area_display (0); | 8476 | int window_height_changed_p = echo_area_display (0); |
| 8473 | must_finish = 1; | 8477 | must_finish = 1; |