Bram Moolenaar 40385dbcdf patch 8.1.0253: saving and restoring window title does not always work ...

Problem:    Saving and restoring window title does not always work.
Solution:   Use the stack push and pop commands. (Kouichi Iwamoto,
            closes #3059)

2018-08-07 22:31:44 +02:00

9.3 KiB

Raw Blame History

View Raw