Kovid Goyal fc7ec1d3f7 Get rid of the option to use the system wcwidth ...

The system wcwidth() is often wrong. Not to mention that if you SSH into
a different machine, then you have a potentially different wcwidth. The
only sane way to deal with this is to use the unicode standard.

2018-02-04 21:02:30 +05:30

14 KiB

Raw Blame History

View Raw