Bram Moolenaar 6d150f783d patch 8.0.1743: terminal window options are named inconsistently ...

Problem:    Terminal window options are named inconsistently.
Solution:   prefix terminal window options with "termwin".  Keep the old names
            for now as an alias.

2018-04-21 20:03:20 +02:00

378 KiB

Raw Blame History

View Raw