diff options
| author | Bram Moolenaar <Bram@vim.org> | 2020-07-17 20:43:43 +0200 |
|---|---|---|
| committer | Bram Moolenaar <Bram@vim.org> | 2020-07-17 20:43:43 +0200 |
| commit | 203ec7760d255d9f92950c8779ddfc587d7896e0 (patch) | |
| tree | e793725ed09467a01a1012bcfe1effea44fe7c39 /src/proto/gui_gtk.pro | |
| parent | f5be8cdb77786f93c23237d7d8162feca92067e2 (diff) | |
patch 8.2.1228: scrollbars not flush against the window edges when maximisedv8.2.1228
Problem: Scrollbars not flush against the window edges when maximised.
Solution: Add padding. (Ken Takata, closes #5602, closes #6466)
Diffstat (limited to 'src/proto/gui_gtk.pro')
| -rw-r--r-- | src/proto/gui_gtk.pro | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/proto/gui_gtk.pro b/src/proto/gui_gtk.pro index 319e27d79b..7b87ba00bd 100644 --- a/src/proto/gui_gtk.pro +++ b/src/proto/gui_gtk.pro @@ -9,6 +9,8 @@ void gui_mch_menu_set_tip(vimmenu_T *menu); void gui_mch_destroy_menu(vimmenu_T *menu); void gui_mch_set_scrollbar_thumb(scrollbar_T *sb, long val, long size, long max); void gui_mch_set_scrollbar_pos(scrollbar_T *sb, int x, int y, int w, int h); +int gui_mch_get_scrollbar_xpadding(void); +int gui_mch_get_scrollbar_ypadding(void); void gui_mch_create_scrollbar(scrollbar_T *sb, int orient); void gui_mch_destroy_scrollbar(scrollbar_T *sb); char_u *gui_mch_browse(int saving, char_u *title, char_u *dflt, char_u *ext, char_u *initdir, char_u *filter); |