tools/sizes.py: Change Unicode box-drawing chars to that of double version by jjsuwa-sys3175 · Pull Request #8573

tools/sizes.py: Change Unicode box-drawing chars to that of double version by jjsuwa-sys3175 · Pull Request #8573 · esp8266/Arduino

added 2 commits

May 17, 2022 22:02

…rsion

Due to historical circumstances, some of light/heavy version of Unicode
box-drawing chars may have twice width of others (aka. "Zen-Kaku" in Japanese,
means full-square), eg. All of '─'(U+2500), '│'(U+2502), '└'(U+2514) and
'├'(U+251C) correspond to that in Windows Japanese fonts and locale.

Double versions, '═'(U+2550), '║'(U+2551), '╚'(U+255A) and '╠'(U+2560) are
not like that.

(See [Box Drawing, The Unicode Standard](https://www.unicode.org/charts/PDF/U2500.pdf))

mcspr mentioned this pull request

Mar 25, 2023

5 tasks

hasenradball pushed a commit to hasenradball/Arduino that referenced this pull request

Nov 18, 2024

…rsion (esp8266#8573)

Due to historical circumstances, some of light/heavy version of Unicode
box-drawing chars may have twice width of others (aka. "Zen-Kaku" in Japanese,
means full-square), eg. All of '─'(U+2500), '│'(U+2502), '└'(U+2514) and
'├'(U+251C) correspond to that in Windows Japanese fonts and locale.

Double versions, '═'(U+2550), '║'(U+2551), '╚'(U+255A) and '╠'(U+2560) are
not like that.

(See [Box Drawing, The Unicode Standard](https://www.unicode.org/charts/PDF/U2500.pdf))