Searched refs:ansi_code (Results 1 – 1 of 1) sorted by relevance
55 char ansi_code[] = "\x1b[1;3Xm"; in output_ansi_colour() local57 ansi_code[5] = '0' + colour; in output_ansi_colour()58 os_write(1, ansi_code, sizeof(ansi_code) - 1); in output_ansi_colour()