DRAW_IMAGE_SUNKEN 2674 src/androidterm.c 	   || s->hl == DRAW_IMAGE_SUNKEN)
DRAW_IMAGE_SUNKEN 3260 src/androidterm.c   if (s->hl == DRAW_IMAGE_SUNKEN
DRAW_IMAGE_SUNKEN 3449 src/androidterm.c       || s->hl == DRAW_IMAGE_SUNKEN)
DRAW_IMAGE_SUNKEN 1577 src/haikuterm.c   if (s->hl == DRAW_IMAGE_SUNKEN
DRAW_IMAGE_SUNKEN 1809 src/haikuterm.c       || s->hl == DRAW_IMAGE_SUNKEN)
DRAW_IMAGE_SUNKEN 1227 src/pgtkterm.c   else if (s->hl == DRAW_IMAGE_RAISED || s->hl == DRAW_IMAGE_SUNKEN)
DRAW_IMAGE_SUNKEN 2106 src/pgtkterm.c   if (s->hl == DRAW_IMAGE_SUNKEN
DRAW_IMAGE_SUNKEN 2337 src/pgtkterm.c       || s->hl == DRAW_IMAGE_SUNKEN)
DRAW_IMAGE_SUNKEN 1135 src/w32term.c  	   || s->hl == DRAW_IMAGE_SUNKEN)
DRAW_IMAGE_SUNKEN 2125 src/w32term.c    if (s->hl == DRAW_IMAGE_SUNKEN
DRAW_IMAGE_SUNKEN 2430 src/w32term.c        || s->hl == DRAW_IMAGE_SUNKEN)
DRAW_IMAGE_SUNKEN 14766 src/xdisp.c    	show_mouse_face (hlinfo, DRAW_IMAGE_SUNKEN);
DRAW_IMAGE_SUNKEN 14846 src/xdisp.c      draw = mouse_down_p ? DRAW_IMAGE_SUNKEN : DRAW_IMAGE_RAISED;
DRAW_IMAGE_SUNKEN 15790 src/xdisp.c    	show_mouse_face (hlinfo, DRAW_IMAGE_SUNKEN);
DRAW_IMAGE_SUNKEN 15872 src/xdisp.c      draw = mouse_down_p ? DRAW_IMAGE_SUNKEN : DRAW_IMAGE_RAISED;
DRAW_IMAGE_SUNKEN 30343 src/xdisp.c    	       || s->hl == DRAW_IMAGE_SUNKEN))
DRAW_IMAGE_SUNKEN 8396 src/xterm.c    	   || s->hl == DRAW_IMAGE_SUNKEN)
DRAW_IMAGE_SUNKEN 10268 src/xterm.c      if (s->hl == DRAW_IMAGE_SUNKEN
DRAW_IMAGE_SUNKEN 10584 src/xterm.c          || s->hl == DRAW_IMAGE_SUNKEN)