Do not replace spaces in prompt text

This commit is contained in:
Maxime Coste 2020-02-25 20:09:25 +11:00
parent 0e7d84e989
commit df844c6243

View File

@ -325,7 +325,7 @@ String fix_atom_text(StringView str)
for (auto it = str.begin(), end = str.end(); it != end; ++it) for (auto it = str.begin(), end = str.end(); it != end; ++it)
{ {
char c = *it; char c = *it;
if (c <= 0x21) if (c <= 0x21 and c != ' ')
{ {
res += StringView{pos, it}; res += StringView{pos, it};
res += String{Codepoint{(uint32_t)(0x2400 + c)}}; res += String{Codepoint{(uint32_t)(0x2400 + c)}};