Searched refs:control_console_color_rgb (Results 1 – 5 of 5) sorted by relevance
77 void control_console_color_rgb(void);
1707 control_console_color_rgb(); in do_highlight()
3257 control_console_color_rgb(); in set_bool_option()
8284 control_console_color_rgb(void) in control_console_color_rgb() function
26732 Solution: Only call control_console_color_rgb() for the win32 terminal.