From 203ec7760d255d9f92950c8779ddfc587d7896e0 Mon Sep 17 00:00:00 2001 From: Bram Moolenaar Date: Fri, 17 Jul 2020 20:43:43 +0200 Subject: patch 8.2.1228: scrollbars not flush against the window edges when maximised Problem: Scrollbars not flush against the window edges when maximised. Solution: Add padding. (Ken Takata, closes #5602, closes #6466) --- src/gui.c | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) (limited to 'src/gui.c') diff --git a/src/gui.c b/src/gui.c index dc408bb88d..4981d7331e 100644 --- a/src/gui.c +++ b/src/gui.c @@ -1418,11 +1418,13 @@ gui_position_components(int total_width UNUSED) if (gui.which_scrollbars[SBAR_BOTTOM]) gui_mch_set_scrollbar_pos(&gui.bottom_sbar, text_area_x, - text_area_y + text_area_height, + text_area_y + text_area_height + + gui_mch_get_scrollbar_ypadding(), text_area_width, gui.scrollbar_height); gui.left_sbar_x = 0; - gui.right_sbar_x = text_area_x + text_area_width; + gui.right_sbar_x = text_area_x + text_area_width + + gui_mch_get_scrollbar_xpadding(); --hold_gui_events; } -- cgit v1.2.3