James Cherti fd01280d01 patch 8.2.4645: 'shortmess' changed when session does not store options ...

Problem:    'shortmess' changed when session does not store options.
Solution:   Save and restore 'shortmess' if needed. (James Charti,
            closes #10037)

2022-03-29 12:02:57 +01:00

37 KiB

Raw Blame History

View Raw