FACE_NO_UNDERLINE 23627 src/xdisp.c          && face->underline == FACE_NO_UNDERLINE
FACE_NO_UNDERLINE 30961 src/xdisp.c          if (!(prev_face && prev_face->underline != FACE_NO_UNDERLINE))
FACE_NO_UNDERLINE 6309 src/xfaces.c         face->underline = FACE_NO_UNDERLINE;