WINDOW_DIVIDER_FACE_ID 4517 src/androidterm.c   struct face *face = FACE_FROM_ID_OR_NULL (f, WINDOW_DIVIDER_FACE_ID);
WINDOW_DIVIDER_FACE_ID 2385 src/haikuterm.c   struct face *face = FACE_FROM_ID_OR_NULL (f, WINDOW_DIVIDER_FACE_ID);
WINDOW_DIVIDER_FACE_ID 3278 src/pgtkterm.c   struct face *face = FACE_FROM_ID_OR_NULL (f, WINDOW_DIVIDER_FACE_ID);
WINDOW_DIVIDER_FACE_ID  677 src/w32term.c    struct face *face = FACE_FROM_ID_OR_NULL (f, WINDOW_DIVIDER_FACE_ID);
WINDOW_DIVIDER_FACE_ID 5057 src/xfaces.c       case WINDOW_DIVIDER_FACE_ID:	name = Qwindow_divider;		break;
WINDOW_DIVIDER_FACE_ID 5786 src/xfaces.c         realize_named_face (f, Qwindow_divider, WINDOW_DIVIDER_FACE_ID);
WINDOW_DIVIDER_FACE_ID 7402 src/xterm.c      struct face *face = FACE_FROM_ID_OR_NULL (f, WINDOW_DIVIDER_FACE_ID);