# HG changeset patch # User František Kučera # Date 1651440114 -7200 # Node ID 3b75b9f38abce2872a8cb21707d3b5c811ca7e16 # Parent c9215d1be8aa7b5b27cec27b63f873f05a8e3f38 replacement symbols for more whitespace characters: bell, backspace diff -r c9215d1be8aa -r 3b75b9f38abc src/TabularPrefetchingHandler.h --- a/src/TabularPrefetchingHandler.h Sat Dec 04 21:14:52 2021 +0100 +++ b/src/TabularPrefetchingHandler.h Sun May 01 23:21:54 2022 +0200 @@ -96,6 +96,10 @@ break; case L' ': result << colorizeReplacement(L"⎵", color); break; + case L'\a': result << colorizeReplacement(L"*", color); // 🔔 ␇ + break; + case L'\b': result << colorizeReplacement(L"←", color); // ␈ + break; default: result << ch; } } @@ -118,6 +122,8 @@ case L'\r': case L'\t': case L' ': + case L'\a': + case L'\b': width += 1; break; default: