FACE_RAISED_BOX  3189 src/androidterm.c   raised_p = s->face->box == FACE_RAISED_BOX;
FACE_RAISED_BOX   990 src/haikuterm.c   raised_p = face->box == FACE_RAISED_BOX;
FACE_RAISED_BOX  2002 src/pgtkterm.c   raised_p = s->face->box == FACE_RAISED_BOX;
FACE_RAISED_BOX  1854 src/w32term.c    raised_p = s->face->box == FACE_RAISED_BOX;
FACE_RAISED_BOX  6270 src/xfaces.c   		face->box = FACE_RAISED_BOX;
FACE_RAISED_BOX  10030 src/xterm.c      raised_p = s->face->box == FACE_RAISED_BOX;