replacement symbols for more whitespace characters: bell, backspace v_0
authorFrantišek Kučera <franta-hg@frantovo.cz>
Sun, 01 May 2022 23:21:54 +0200
branchv_0
changeset 36 3b75b9f38abc
parent 35 c9215d1be8aa
child 37 5dcff3c35462
replacement symbols for more whitespace characters: bell, backspace
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: