Bram Moolenaar
|
1c329c04be
|
patch 8.1.2227: layout wrong if 'lines' changes while cmdline window is open
Problem: Layout wrong if 'lines' changes while cmdline window is open.
Solution: Do not restore the window layout if 'lines' changed.
(closes #5130)
|
2019-10-27 20:37:35 +01:00 |
|