restore_face_box_flags 7135 src/xdisp.c    	restore_face_box_flags (it, prev_face_id);
restore_face_box_flags 7141 src/xdisp.c    	restore_face_box_flags (it, prev_face_id);