FACE_UNDER_LINE  4002 src/androidterm.c           else if (s->face->underline == FACE_UNDER_LINE)
FACE_UNDER_LINE  4008 src/androidterm.c 		  && s->prev->face->underline == FACE_UNDER_LINE
FACE_UNDER_LINE   832 src/haikuterm.c       else if (face->underline == FACE_UNDER_LINE)
FACE_UNDER_LINE   838 src/haikuterm.c 	      && s->prev->face->underline == FACE_UNDER_LINE
FACE_UNDER_LINE  2553 src/pgtkterm.c 	  else if (s->face->underline == FACE_UNDER_LINE)
FACE_UNDER_LINE  2559 src/pgtkterm.c 		  && s->prev->face->underline == FACE_UNDER_LINE
FACE_UNDER_LINE  2654 src/w32term.c            else if (s->face->underline == FACE_UNDER_LINE)
FACE_UNDER_LINE  2660 src/w32term.c  		  && s->prev->face->underline == FACE_UNDER_LINE
FACE_UNDER_LINE  6290 src/xfaces.c         face->underline = FACE_UNDER_LINE;
FACE_UNDER_LINE  6299 src/xfaces.c         face->underline = FACE_UNDER_LINE;
FACE_UNDER_LINE  6319 src/xfaces.c         face->underline = FACE_UNDER_LINE;
FACE_UNDER_LINE  6356 src/xfaces.c                   face->underline = FACE_UNDER_LINE;
FACE_UNDER_LINE  10881 src/xterm.c              else if (s->face->underline == FACE_UNDER_LINE)
FACE_UNDER_LINE  10887 src/xterm.c    		  && s->prev->face->underline == FACE_UNDER_LINE