Bram Moolenaar bca9c30193 patch 8.1.1768: man plugin changes setting in current window ...

Problem:    Man plugin changes setting in current window.
Solution:   Set options later. (Jason Franklin)

2019-07-28 15:28:45 +02:00

6.2 KiB

Raw Blame History

View Raw