From af6885c0c9c56ee5c58a0088f9f4b87eb5148191 Mon Sep 17 00:00:00 2001 From: Maxime Coste Date: Wed, 26 Feb 2020 07:59:05 +1100 Subject: [PATCH] Control character end at 0x1F --- src/display_buffer.cc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/display_buffer.cc b/src/display_buffer.cc index d6707747..d9ff4778 100644 --- 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)}};