diff options
| author | Gerd Moellmann <gerd@gnu.org> | 2001-10-19 11:08:25 +0000 |
|---|---|---|
| committer | Gerd Moellmann <gerd@gnu.org> | 2001-10-19 11:08:25 +0000 |
| commit | 7f930078093c81fb755fc22766f037c2627090b1 (patch) | |
| tree | daadaef2c8528edd729f87a5282e96f901b06424 | |
| parent | a265d0ad793b2501bb31a4b7305cde82f15c676e (diff) | |
| download | emacs-7f930078093c81fb755fc22766f037c2627090b1.tar.gz | |
(redisplay_internal): Don't clear echo area if the
mini-window is selected.
| -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 6f96126a96d..31da1badd49 100644 --- a/src/xdisp.c +++ b/src/xdisp.c @@ -8473,7 +8473,11 @@ redisplay_internal (preserve_echo_area) the echo area should be cleared. */ if ((!NILP (echo_area_buffer[0]) && !display_last_displayed_message_p) || (!NILP (echo_area_buffer[1]) && display_last_displayed_message_p) - || (message_cleared_p && minibuf_level == 0)) + || (message_cleared_p + && minibuf_level == 0 + /* If the mini-window is currently selected, this means the + echo-area doesn't show through. */ + && !MINI_WINDOW_P (XWINDOW (selected_window)))) { int window_height_changed_p = echo_area_display (0); must_finish = 1; |