Bram Moolenaar
cb5ff34c1b
patch 8.1.1718: popup menu highlighting does not look good
...
Problem: Popup menu highlighting does not look good.
Solution: Highlight the whole window line. Fix that sign line HL is not
displayed in a window with a background color.
2019-07-20 16:51:19 +02:00
Bram Moolenaar
0346413c24
patch 8.1.1690: default padding for popup window menu is too much
...
Problem: Default padding for popup window menu is too much.
Solution: Only add padding left and right.
2019-07-14 16:28:13 +02:00
Bram Moolenaar
a901a37bae
patch 8.1.1678: using popup_menu() does not scroll to show the selected line
...
Problem: When using popup_menu() does not scroll to show the selected line.
Solution: Scroll the text. (Naruhiko Nishino, closes #4651 )
2019-07-13 16:38:50 +02:00
