// 恢复屏幕颜色 void console_reset(void) { #ifdef _WIN32 console_set_color(7); #else printf("\033[0m"); #endif }
static void waitprompt(void) { console_set_pos(console, 0, console_rows-1); console_set_color(console, COLOR_WHITE, COLOR_BLUE, 0); printf("ENTER/SPACE/PAGE DOWN - next page, " "ESC/Q - quit, C - continue unpaged"); fflush(stdout); console_set_style(console, STYLE_NORMAL); }
// builtin read func static double __read(double unused) { double val; console_set_color(COLOR_GREEN); printf("<- "); console_reset_color(); scanf("%lf", &val); getchar(); return val; }