FACE_NO_UNDERLINE 23429 src/xdisp.c          && face->underline == FACE_NO_UNDERLINE
FACE_NO_UNDERLINE 30686 src/xdisp.c          if (!(prev_face && prev_face->underline != FACE_NO_UNDERLINE))
FACE_NO_UNDERLINE 6272 src/xfaces.c         face->underline = FACE_NO_UNDERLINE;