diff options
author | Bram Moolenaar <Bram@vim.org> | 2019-07-14 16:28:13 +0200 |
---|---|---|
committer | Bram Moolenaar <Bram@vim.org> | 2019-07-14 16:28:13 +0200 |
commit | 0346413c24b58d6d852e6767757bd76b5307afcf (patch) | |
tree | 6e40608cea2c748855fa8a1745a0394a1adb365e /runtime | |
parent | 660a10ad41c14363326f83451c3c425201923119 (diff) | |
download | vim-git-0346413c24b58d6d852e6767757bd76b5307afcf.tar.gz |
patch 8.1.1690: default padding for popup window menu is too muchv8.1.1690
Problem: Default padding for popup window menu is too much.
Solution: Only add padding left and right.
Diffstat (limited to 'runtime')
-rw-r--r-- | runtime/doc/popup.txt | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/runtime/doc/popup.txt b/runtime/doc/popup.txt index f74a7c228..0fd30ebfb 100644 --- a/runtime/doc/popup.txt +++ b/runtime/doc/popup.txt @@ -1,4 +1,4 @@ -*popup.txt* For Vim version 8.1. Last change: 2019 Jul 13 +*popup.txt* For Vim version 8.1. Last change: 2019 Jul 14 VIM REFERENCE MANUAL by Bram Moolenaar @@ -362,7 +362,7 @@ popup_menu({what}, {options}) *popup_menu()* \ drag: 1, \ wrap: 0, \ border: [], - \ padding: [], + \ padding: [0,1,0,1], \ filter: 'popup_filter_menu', \ }) < The current line is highlighted with a match using |