config.def.h

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