Use Control Picture codepoints in prompt for all codepoints < 0x22

Fixes #3333
This commit is contained in:
Maxime Coste 2020-02-22 08:36:51 +11:00
parent 3ef8a6160d
commit bc8a9d82c3

View File

@ -325,10 +325,10 @@ String fix_atom_text(StringView str)
for (auto it = str.begin(), end = str.end(); it != end; ++it)
{
char c = *it;
if (c == '\n' or c == '\r')
if (c <= 0x21)
{
res += StringView{pos, it};
res += c == '\n' ? "" : "";
res += String{Codepoint{(uint32_t)(0x2400 + c)}};
pos = it+1;
}
}