comparison src/xdisp.c @ 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 2e597c7309b3
children 492cb3baf591
comparison
equal deleted inserted replaced
18717:70ed7ba1ed08 18718:1fb4c75d4f1f
645 645
646 for (i = vpos + 1; 646 for (i = vpos + 1;
647 i < vpos + XFASTINT (XWINDOW (mini_window)->height); i++) 647 i < vpos + XFASTINT (XWINDOW (mini_window)->height); i++)
648 { 648 {
649 get_display_line (f, i, 0); 649 get_display_line (f, i, 0);
650 /* We don't use FRAME_SCROLL_BAR_WIDTH (f) as the starting
651 hpos, because it is good to clear whatever is behind the
652 scroll bar. This does not affect the scroll bar itself. */
650 display_string (XWINDOW (mini_window), i, 653 display_string (XWINDOW (mini_window), i,
651 "", 0, 654 "", 0,
652 FRAME_LEFT_SCROLL_BAR_WIDTH (f), 655 0, 0, 0,
653 0, 0, 0, 656 0, FRAME_WIDTH (f) + FRAME_SCROLL_BAR_WIDTH (f));
654 FRAME_WIDTH (f) + FRAME_LEFT_SCROLL_BAR_WIDTH (f));
655 } 657 }
656 } 658 }
657 } 659 }
658 else if (!EQ (mini_window, selected_window)) 660 else if (!EQ (mini_window, selected_window))
659 windows_or_buffers_changed++; 661 windows_or_buffers_changed++;