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 2103 src/pgtkterm.c   if (s->hl == DRAW_IMAGE_SUNKEN
DRAW_IMAGE_SUNKEN 2334 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 14758 src/xdisp.c    	show_mouse_face (hlinfo, DRAW_IMAGE_SUNKEN);
DRAW_IMAGE_SUNKEN 14838 src/xdisp.c      draw = mouse_down_p ? DRAW_IMAGE_SUNKEN : DRAW_IMAGE_RAISED;
DRAW_IMAGE_SUNKEN 15782 src/xdisp.c    	show_mouse_face (hlinfo, DRAW_IMAGE_SUNKEN);
DRAW_IMAGE_SUNKEN 15864 src/xdisp.c      draw = mouse_down_p ? DRAW_IMAGE_SUNKEN : DRAW_IMAGE_RAISED;
DRAW_IMAGE_SUNKEN 30333 src/xdisp.c    	       || s->hl == DRAW_IMAGE_SUNKEN))
DRAW_IMAGE_SUNKEN 8338 src/xterm.c    	   || s->hl == DRAW_IMAGE_SUNKEN)
DRAW_IMAGE_SUNKEN 10210 src/xterm.c      if (s->hl == DRAW_IMAGE_SUNKEN
DRAW_IMAGE_SUNKEN 10526 src/xterm.c          || s->hl == DRAW_IMAGE_SUNKEN)