FRAME_SCALE_FACTOR 3903 src/frame.c      return (make_float (f ? FRAME_SCALE_FACTOR (f) : 1));
FRAME_SCALE_FACTOR 2611 src/image.c          width = img->width / FRAME_SCALE_FACTOR (f);
FRAME_SCALE_FACTOR 2612 src/image.c          height = img->height / FRAME_SCALE_FACTOR (f);
FRAME_SCALE_FACTOR 11368 src/image.c      width = scale_image_size (width, 1, FRAME_SCALE_FACTOR (f));
FRAME_SCALE_FACTOR 11369 src/image.c      height = scale_image_size (height, 1, FRAME_SCALE_FACTOR (f));
FRAME_SCALE_FACTOR 1134 src/pgtkfns.c    double scale_factor = FRAME_SCALE_FACTOR (f);