(echo_area_display): Don't offset using left-side

scroll bar width because it is included in the width; clear
the entire line.

diff --git a/src/xdisp.c b/src/xdisp.c
index 3f89898d389545aeb535fca32b393737659f733e..a36b8f0eda90bc5a7aee2ca7850fd733bc702f77 100644 (file)
--- a/src/xdisp.c
+++ b/src/xdisp.c
@@ -647,11 +647,13 @@ echo_area_display ()
             i < vpos + XFASTINT (XWINDOW (mini_window)->height); i++)
          {
            get_display_line (f, i, 0);
+           /* We don't use FRAME_SCROLL_BAR_WIDTH (f) as the starting
+              hpos, because it is good to clear whatever is behind the
+              scroll bar.  This does not affect the scroll bar itself.  */
            display_string (XWINDOW (mini_window), i,
                            "", 0, 
-                            FRAME_LEFT_SCROLL_BAR_WIDTH (f),
-                           0, 0, 0,
-                           FRAME_WIDTH (f) + FRAME_LEFT_SCROLL_BAR_WIDTH (f));
+                            0, 0, 0,
+                            0, FRAME_WIDTH (f) + FRAME_SCROLL_BAR_WIDTH (f));
          }
       }
     }