restore_face_box_flags 7108 src/xdisp.c    	restore_face_box_flags (it, prev_face_id);
restore_face_box_flags 7114 src/xdisp.c    	restore_face_box_flags (it, prev_face_id);