log src/testdir/dumps/Test_cmdwin_restore_3.dump @ 35178:b094a5d09a9d default tip

age author description
Sun, 27 Oct 2019 20:45:03 +0100 Bram Moolenaar patch 8.1.2227: layout wrong if 'lines' changes while cmdline window is open v8.1.2227