log src/testdir/dumps/Test_popup_settext_02.dump @ 25090:73503bafb3bf v8.2.3082

age author description
Sun, 16 Jun 2019 15:45:05 +0200 Bram Moolenaar patch 8.1.1553: not easy to change the text in a popup window v8.1.1553