Bram Moolenaar 162b71479b patch 8.1.0614: placing signs can be complicated ...

Problem:    Placing signs can be complicated.
Solution:   Add functions for defining and placing signs.  Introduce a group
            name to avoid different plugins using the same signs. (Yegappan
            Lakshmanan, closes #3652)

2018-12-21 15:17:36 +01:00

742 B

Raw Blame History

View Raw