log src/testdir/dumps/Test_popupwin_menu_scroll_6.dump @ 35171:76c328389c46 default tip

age author description
Sun, 13 Aug 2023 19:30:04 +0200 Christian Brabandt patch 9.0.1707: Cannot wrap around in popup_filter_menu() v9.0.1707
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