Previously only control characters 0-0x35 and 0x7f were encoded as
something graphic. But unicode has more than that.
So use iswcntrl() to find them all.
Signed-off-by: NeilBrown <neil@brown.name>
buf_concat(&b, "</>");
} else if (ch == 0x7f) {
buf_concat(&b, "<fg:red>^?</>");
+ } else if (ch >= 0x80 && iswcntrl(ch)) {
+ /* Extra unicode control */
+ buf_concat(&b, "<fg:magenta>^");
+ buf_append(&b, 96 + (ch & 0x1f));
+ buf_concat(&b, "</>");
} else
buf_append(&b, ch);
chars++;