changeset 18718:1fb4c75d4f1f

(echo_area_display): Don't offset using left-side scroll bar width because it is included in the width; clear the entire line.
author Richard M. Stallman <rms@gnu.org>
date Thu, 10 Jul 1997 07:09:50 +0000
parents 70ed7ba1ed08
children de8249499f33
files src/xdisp.c
diffstat 1 files changed, 5 insertions(+), 3 deletions(-) [+]
line wrap: on
line diff
--- 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));
 	  }
       }
     }