log src/testdir/dumps/Test_popup_settext_06.dump @ 24572:dcb3a856f515 v8.2.2825

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