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)
diff --git a/src/gui_gtk.c b/src/gui_gtk.c
index fa63bf9..aaebf30 100644
--- a/src/gui_gtk.c
+++ b/src/gui_gtk.c
@@ -1008,6 +1008,22 @@
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.
*/