log src/testdir/dumps/Test_popupwin_menu_01.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
Sun, 16 Jun 2019 20:15:05 +0200 Bram Moolenaar patch 8.1.1559: popup window title property not implemented yet v8.1.1559
Sun, 16 Jun 2019 19:15:05 +0200 Bram Moolenaar patch 8.1.1558: popup_menu() and popup_filter_menu() are not implemented yet v8.1.1558