From df844c62437d4afb2077ad15cedf5b1c58b4ef72 Mon Sep 17 00:00:00 2001 From: Maxime Coste Date: Tue, 25 Feb 2020 20:09:25 +1100 Subject: [PATCH] Do not replace spaces in prompt text --- 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 03a99c7b..d6707747 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) + if (c <= 0x21 and c != ' ') { res += StringView{pos, it}; res += String{Codepoint{(uint32_t)(0x2400 + c)}};