Bram Moolenaar 78712a7733 patch 8.0.0864: cannot specify the name of a terminal ...

Problem:    Cannot specify the name of a terminal.
Solution:   Add the "term_name" option. (Yasuhiro Matsumoto, closes #1936)

2017-08-05 14:50:12 +02:00

413 KiB

Raw Blame History

View Raw