diff -r 3b75b9f38abc -r 5dcff3c35462 src/TabularPrefetchingHandler.h --- a/src/TabularPrefetchingHandler.h Sun May 01 23:21:54 2022 +0200 +++ b/src/TabularPrefetchingHandler.h Mon Jun 20 00:15:08 2022 +0200 @@ -100,6 +100,8 @@ break; case L'\b': result << colorizeReplacement(L"←", color); // ␈ break; + case L'\e': result << colorizeReplacement(L"ESC", color); // ␛ + break; default: result << ch; } } @@ -126,6 +128,9 @@ case L'\b': width += 1; break; + case L'\e': + width += 3; + break; default: width += std::max(0, wcwidth(ch)); }