FRAME_DEFAULT_FACE 1025 src/nsterm.h   #define FRAME_DEFAULT_FACE(f) FACE_FROM_ID_OR_NULL (f, DEFAULT_FACE_ID)
FRAME_DEFAULT_FACE  474 src/pgtkterm.h #define FRAME_DEFAULT_FACE(f) FACE_FROM_ID_OR_NULL (f, DEFAULT_FACE_ID)