Bram Moolenaar 0f6562e903 patch 7.4.941 ...

Problem:    There is no way to ignore case only for tag searches.
Solution:   Add the 'tagcase' option. (Gary Johnson)

2015-11-24 18:48:14 +01:00

68 KiB

Raw Blame History

View Raw