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_gtk.c | 16 ++++++++++++++++ 1 file changed, 16 insertions(+) (limited to 'src/gui_gtk.c') diff --git a/src/gui_gtk.c b/src/gui_gtk.c index fa63bf9101..aaebf30561 100644 --- a/src/gui_gtk.c +++ b/src/gui_gtk.c @@ -1008,6 +1008,22 @@ gui_mch_set_scrollbar_pos(scrollbar_T *sb, int x, int y, int w, int h) gtk_form_move_resize(GTK_FORM(gui.formwin), sb->id, x, y, w, h); } + int +gui_mch_get_scrollbar_xpadding(void) +{ + // TODO: Calculate the padding for adjust scrollbar position when the + // Window is maximized. + return 0; +} + + int +gui_mch_get_scrollbar_ypadding(void) +{ + // TODO: Calculate the padding for adjust scrollbar position when the + // Window is maximized. + return 0; +} + /* * Take action upon scrollbar dragging. */ -- cgit v1.2.3