Searched refs:console_highlight_color (Results 1 – 1 of 1) sorted by relevance
31 static int console_highlight_color = A_REVERSE; variable45 console_current_color = console_highlight_color; in console_setcolorstate()59 console_highlight_color = highlight_color; in console_setcolor()