FACE_UNDER_WAVE  3989 src/androidterm.c           if (s->face->underline == FACE_UNDER_WAVE)
FACE_UNDER_WAVE   830 src/haikuterm.c       if (face->underline == FACE_UNDER_WAVE)
FACE_UNDER_WAVE  2546 src/pgtkterm.c 	  if (s->face->underline == FACE_UNDER_WAVE)
FACE_UNDER_WAVE  2643 src/w32term.c            if (s->face->underline == FACE_UNDER_WAVE)
FACE_UNDER_WAVE  6358 src/xfaces.c                   face->underline = FACE_UNDER_WAVE;
FACE_UNDER_WAVE  10867 src/xterm.c              if (s->face->underline == FACE_UNDER_WAVE)