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_motif.c | 16 ++++++++++++++++ 1 file changed, 16 insertions(+) (limited to 'src/gui_motif.c') diff --git a/src/gui_motif.c b/src/gui_motif.c index 90c5df98d6..9d13b57b4e 100644 --- a/src/gui_motif.c +++ b/src/gui_motif.c @@ -1743,6 +1743,22 @@ gui_mch_set_scrollbar_pos( } } + 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; +} + void gui_mch_enable_scrollbar(scrollbar_T *sb, int flag) { -- cgit v1.2.3