src/TabularPrefetchingHandler.h
branchv_0
changeset 36 3b75b9f38abc
parent 31 c22577615ce4
child 37 5dcff3c35462
--- 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: