2898 |
} else if (c >= 0x10000) { |
} else if (c >= 0x10000) { |
2899 |
/* currently, we cannot display these chars */ |
/* currently, we cannot display these chars */ |
2900 |
display_printf(ds, offset0, offset, "\\U%08x", c); |
display_printf(ds, offset0, offset, "\\U%08x", c); |
2901 |
} else if ((c >= 128 && c < 128 + 32) || |
} else if (c >= 256 && s->screen->charset != &charset_utf8) { |
|
(s->screen->charset != &charset_utf8 && c >= 256)) { |
|
2902 |
display_printf(ds, offset0, offset, "\\u%04x", c); |
display_printf(ds, offset0, offset, "\\u%04x", c); |
2903 |
} else { |
} else { |
2904 |
if (char_index < colored_nb_chars) |
if (char_index < colored_nb_chars) |