WINDOW_DIVIDER_LAST_PIXEL_FACE_ID 4521 src/androidterm.c     = FACE_FROM_ID_OR_NULL (f, WINDOW_DIVIDER_LAST_PIXEL_FACE_ID);
WINDOW_DIVIDER_LAST_PIXEL_FACE_ID 2389 src/haikuterm.c     = FACE_FROM_ID_OR_NULL (f, WINDOW_DIVIDER_LAST_PIXEL_FACE_ID);
WINDOW_DIVIDER_LAST_PIXEL_FACE_ID 3285 src/pgtkterm.c     = FACE_FROM_ID_OR_NULL (f, WINDOW_DIVIDER_LAST_PIXEL_FACE_ID);
WINDOW_DIVIDER_LAST_PIXEL_FACE_ID  681 src/w32term.c      = FACE_FROM_ID_OR_NULL (f, WINDOW_DIVIDER_LAST_PIXEL_FACE_ID);
WINDOW_DIVIDER_LAST_PIXEL_FACE_ID 5060 src/xfaces.c       case WINDOW_DIVIDER_LAST_PIXEL_FACE_ID:	name = Qwindow_divider_last_pixel;	break;
WINDOW_DIVIDER_LAST_PIXEL_FACE_ID 5790 src/xfaces.c   			  WINDOW_DIVIDER_LAST_PIXEL_FACE_ID);
WINDOW_DIVIDER_LAST_PIXEL_FACE_ID 7462 src/xterm.c        = FACE_FROM_ID_OR_NULL (f, WINDOW_DIVIDER_LAST_PIXEL_FACE_ID);