Control character end at 0x1F

2020-02-26 07:59:05 +11:00 · 2020-02-26 07:59:05 +11:00 · af6885c0c9
commit af6885c0c9
parent f6b6b94ba6
1 changed files with 1 additions and 1 deletions
--- a/src/display_buffer.cc
+++ b/src/display_buffer.cc
@ -325,7 +325,7 @@ String fix_atom_text(StringView str)
    for (auto it = str.begin(), end = str.end(); it != end; ++it)
    {
        char c = *it;
-        if (c <= 0x21 and c != ' ')
+        if (c <= 0x1F)
        {
            res += StringView{pos, it};
            res += String{Codepoint{(uint32_t)(0x2400 + c)}};