face_with_height 3675 src/dispextern.h int face_with_height (struct frame *, int, int); face_with_height 5916 src/xdisp.c it->face_id = face_with_height (it->f, it->face_id, new_height);