Mercurial > vim
comparison src/proto/gui_motif.pro @ 21355:fcccc29bd386 v8.2.1228
patch 8.2.1228: scrollbars not flush against the window edges when maximised
Commit: https://github.com/vim/vim/commit/203ec7760d255d9f92950c8779ddfc587d7896e0
Author: Bram Moolenaar <Bram@vim.org>
Date: Fri Jul 17 20:43:43 2020 +0200
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 https://github.com/vim/vim/issues/5602, closes https://github.com/vim/vim/issues/6466)
author | Bram Moolenaar <Bram@vim.org> |
---|---|
date | Fri, 17 Jul 2020 20:45:07 +0200 |
parents | 21b0a39d13ed |
children | 4545f58c8490 |
comparison
equal
deleted
inserted
replaced
21354:428b1c6355eb | 21355:fcccc29bd386 |
---|---|
21 void gui_mch_destroy_menu(vimmenu_T *menu); | 21 void gui_mch_destroy_menu(vimmenu_T *menu); |
22 void gui_mch_show_popupmenu(vimmenu_T *menu); | 22 void gui_mch_show_popupmenu(vimmenu_T *menu); |
23 void gui_mch_def_colors(void); | 23 void gui_mch_def_colors(void); |
24 void gui_mch_set_scrollbar_thumb(scrollbar_T *sb, long val, long size, long max); | 24 void gui_mch_set_scrollbar_thumb(scrollbar_T *sb, long val, long size, long max); |
25 void gui_mch_set_scrollbar_pos(scrollbar_T *sb, int x, int y, int w, int h); | 25 void gui_mch_set_scrollbar_pos(scrollbar_T *sb, int x, int y, int w, int h); |
26 int gui_mch_get_scrollbar_xpadding(void); | |
27 int gui_mch_get_scrollbar_ypadding(void); | |
26 void gui_mch_enable_scrollbar(scrollbar_T *sb, int flag); | 28 void gui_mch_enable_scrollbar(scrollbar_T *sb, int flag); |
27 void gui_mch_create_scrollbar(scrollbar_T *sb, int orient); | 29 void gui_mch_create_scrollbar(scrollbar_T *sb, int orient); |
28 void gui_mch_destroy_scrollbar(scrollbar_T *sb); | 30 void gui_mch_destroy_scrollbar(scrollbar_T *sb); |
29 void gui_mch_set_scrollbar_colors(scrollbar_T *sb); | 31 void gui_mch_set_scrollbar_colors(scrollbar_T *sb); |
30 Window gui_x11_get_wid(void); | 32 Window gui_x11_get_wid(void); |