src/TabularPrefetchingHandler.h
branchv_0
changeset 36 3b75b9f38abc
parent 31 c22577615ce4
child 37 5dcff3c35462
equal deleted inserted replaced
35:c9215d1be8aa 36:3b75b9f38abc
    94 					break;
    94 					break;
    95 				case L'\t': result << colorizeReplacement(L"↹", color);
    95 				case L'\t': result << colorizeReplacement(L"↹", color);
    96 					break;
    96 					break;
    97 				case L' ': result << colorizeReplacement(L"⎵", color);
    97 				case L' ': result << colorizeReplacement(L"⎵", color);
    98 					break;
    98 					break;
       
    99 				case L'\a': result << colorizeReplacement(L"*", color); // 🔔 ␇
       
   100 					break;
       
   101 				case L'\b': result << colorizeReplacement(L"←", color); // ␈
       
   102 					break;
    99 				default: result << ch;
   103 				default: result << ch;
   100 			}
   104 			}
   101 		}
   105 		}
   102 
   106 
   103 		result << convertor.from_bytes(ESC_RESET);
   107 		result << convertor.from_bytes(ESC_RESET);
   116 			switch (ch) {
   120 			switch (ch) {
   117 				case L'\n':
   121 				case L'\n':
   118 				case L'\r':
   122 				case L'\r':
   119 				case L'\t':
   123 				case L'\t':
   120 				case L' ':
   124 				case L' ':
       
   125 				case L'\a':
       
   126 				case L'\b':
   121 					width += 1;
   127 					width += 1;
   122 					break;
   128 					break;
   123 				default:
   129 				default:
   124 					width += std::max(0, wcwidth(ch));
   130 					width += std::max(0, wcwidth(ch));
   125 			}
   131 			}