log src/testdir/dumps/Test_popup_settext_03.dump @ 29708:d97b2ce26258 v9.0.0194

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