log src/testdir/dumps/Test_popupwin_menu_scroll_1.dump @ 30500:cd643d74e4e0

age author description
Sat, 20 Jul 2019 17:00:08 +0200 Bram Moolenaar patch 8.1.1718: popup menu highlighting does not look good v8.1.1718
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