src/TabularPrefetchingHandler.h
branchv_0
changeset 37 5dcff3c35462
parent 36 3b75b9f38abc
child 38 2cc2d3f658f4
equal deleted inserted replaced
36:3b75b9f38abc 37:5dcff3c35462
    98 					break;
    98 					break;
    99 				case L'\a': result << colorizeReplacement(L"*", color); // 🔔 ␇
    99 				case L'\a': result << colorizeReplacement(L"*", color); // 🔔 ␇
   100 					break;
   100 					break;
   101 				case L'\b': result << colorizeReplacement(L"←", color); // ␈
   101 				case L'\b': result << colorizeReplacement(L"←", color); // ␈
   102 					break;
   102 					break;
       
   103 				case L'\e': result << colorizeReplacement(L"ESC", color); // ␛
       
   104 					break;
   103 				default: result << ch;
   105 				default: result << ch;
   104 			}
   106 			}
   105 		}
   107 		}
   106 
   108 
   107 		result << convertor.from_bytes(ESC_RESET);
   109 		result << convertor.from_bytes(ESC_RESET);
   124 				case L' ':
   126 				case L' ':
   125 				case L'\a':
   127 				case L'\a':
   126 				case L'\b':
   128 				case L'\b':
   127 					width += 1;
   129 					width += 1;
   128 					break;
   130 					break;
       
   131 				case L'\e':
       
   132 					width += 3;
       
   133 					break;
   129 				default:
   134 				default:
   130 					width += std::max(0, wcwidth(ch));
   135 					width += std::max(0, wcwidth(ch));
   131 			}
   136 			}
   132 		}
   137 		}
   133 		return width;
   138 		return width;