in ui/src/com/jediterm/terminal/ui/TerminalPanel.java [1458:1472]
private static boolean isFormatChar(char[] text, int start, int end) {
if (end - start == 1) {
int charCode = text[start];
// From CMap#getFormatCharGlyph
if (charCode >= 0x200c) {
//noinspection RedundantIfStatement
if ((charCode <= 0x200f) ||
(charCode >= 0x2028 && charCode <= 0x202e) ||
(charCode >= 0x206a && charCode <= 0x206f)) {
return true;
}
}
}
return false;
}