FACE_TTY_DEFAULT_COLOR  405 src/dosfns.c       : FACE_TTY_DEFAULT_COLOR;
FACE_TTY_DEFAULT_COLOR  824 src/msdos.c      if (fg == FACE_TTY_DEFAULT_COLOR || fg == FACE_TTY_DEFAULT_FG_COLOR)
FACE_TTY_DEFAULT_COLOR  828 src/msdos.c      if (bg == FACE_TTY_DEFAULT_COLOR || bg == FACE_TTY_DEFAULT_BG_COLOR)
FACE_TTY_DEFAULT_COLOR 1634 src/msdos.c    	  if (new_color !=  FACE_TTY_DEFAULT_COLOR
FACE_TTY_DEFAULT_COLOR 1664 src/msdos.c    	  if (new_color != FACE_TTY_DEFAULT_COLOR
FACE_TTY_DEFAULT_COLOR 2064 src/term.c           && ((face->foreground != FACE_TTY_DEFAULT_COLOR
FACE_TTY_DEFAULT_COLOR 2066 src/term.c     	  || (face->background != FACE_TTY_DEFAULT_COLOR
FACE_TTY_DEFAULT_COLOR 1121 src/xfaces.c     color_def->pixel = FACE_TTY_DEFAULT_COLOR;
FACE_TTY_DEFAULT_COLOR 1129 src/xfaces.c     if (color_def->pixel == FACE_TTY_DEFAULT_COLOR && *color_name)
FACE_TTY_DEFAULT_COLOR 1137 src/xfaces.c     if (color_def->pixel != FACE_TTY_DEFAULT_COLOR)
FACE_TTY_DEFAULT_COLOR 6454 src/xfaces.c   	      || pixel == FACE_TTY_DEFAULT_COLOR)