# HG changeset patch # User Richard M. Stallman # Date 868518590 0 # Node ID 1fb4c75d4f1fe5d8723f2d337802dd14f4ce41a7 # Parent 70ed7ba1ed086ea9ddd5b8db779761c308525927 (echo_area_display): Don't offset using left-side scroll bar width because it is included in the width; clear the entire line. diff -r 70ed7ba1ed08 -r 1fb4c75d4f1f src/xdisp.c --- a/src/xdisp.c Thu Jul 10 06:50:14 1997 +0000 +++ b/src/xdisp.c Thu Jul 10 07:09:50 1997 +0000 @@ -647,11 +647,13 @@ 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)); } } }