log src/testdir/dumps/Test_popupwin_menu_scroll_3.dump @ 17383:b18fd36fdf46 v8.1.1690

age author description
Sun, 14 Jul 2019 16:30:05 +0200 Bram Moolenaar patch 8.1.1690: default padding for popup window menu is too much v8.1.1690
Sat, 13 Jul 2019 16:45:04 +0200 Bram Moolenaar patch 8.1.1678: using popup_menu() does not scroll to show the selected line v8.1.1678