blob: fca0ae0aaf96d50a157d98743abf3ac44cf91e38 (
plain) (
blame)
1
2
3
4
5
6
|
static const char *colorname[NUMCOLS] = {
"black", /* after initialization */
"#005577", /* during input */
"#CC3333", /* failed/cleared the input */
};
static const Bool failonclear = True;
|