FRAME_SCALE_FACTOR 3980 src/frame.c      return (make_float (f ? FRAME_SCALE_FACTOR (f) : 1));
FRAME_SCALE_FACTOR 2888 src/image.c          width = img->width / FRAME_SCALE_FACTOR (f);
FRAME_SCALE_FACTOR 2889 src/image.c          height = img->height / FRAME_SCALE_FACTOR (f);
FRAME_SCALE_FACTOR 12008 src/image.c      width = scale_image_size (width, 1, FRAME_SCALE_FACTOR (f));
FRAME_SCALE_FACTOR 12009 src/image.c      height = scale_image_size (height, 1, FRAME_SCALE_FACTOR (f));
FRAME_SCALE_FACTOR 1127 src/pgtkfns.c    double scale_factor = FRAME_SCALE_FACTOR (f);