log src/testdir/dumps/Test_pum_highlights_01.dump @ 32132:059e89bf9316 v9.0.1397

age author description
Fri, 10 Mar 2023 17:45:05 +0100 Bram Moolenaar patch 9.0.1397: highlight for popupmenu kind and extra cannot be set v9.0.1397