# HG changeset patch
# User František Kučera <franta-hg@frantovo.cz>
# Date 1655676908 -7200
# Node ID 5dcff3c35462b5cbf08d07695bc69c4fd10806f3
# Parent  3b75b9f38abce2872a8cb21707d3b5c811ca7e16
replacement symbols for more whitespace characters: escape

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));
 			}