log src/testdir/dumps/Test_popupmenu_cmdline_1.dump @ 36549:07e948b0d33b draft default tip

age author description
Sun, 23 Apr 2023 17:30:05 +0200 Bram Moolenaar patch 9.0.1480: using popup menu may leave text in the command line v9.0.1480