replacement symbols for more whitespace characters: escape v_0
authorFrantišek Kučera <franta-hg@frantovo.cz>
Mon, 20 Jun 2022 00:15:08 +0200
branchv_0
changeset 37 5dcff3c35462
parent 36 3b75b9f38abc
child 38 2cc2d3f658f4
replacement symbols for more whitespace characters: escape
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));
 			}