Bram Moolenaar 4e4473c927 patch 8.2.1536: cannot get the class of a character; emoji widths are wrong ...

Problem:    Cannot get the class of a character; emoji widths are wrong in
            some environments.
Solution:   Add charclass(). Update some emoji widths.  Add script to check
            emoji widths.

2020-08-28 22:24:57 +02:00

25 KiB

Raw Blame History

View Raw