scale_image_size 2370 src/image.c        return scale_image_size (img->face_font_size, 1, XFLOATINT (CAR (value)));
scale_image_size 2401 src/image.c          desired_width = scale_image_size (desired_width, 1, scale);
scale_image_size 2411 src/image.c          desired_height = scale_image_size (desired_height, 1, scale);
scale_image_size 2423 src/image.c        desired_height = scale_image_size (desired_width, width, height);
scale_image_size 2426 src/image.c        desired_width = scale_image_size (desired_height, height, width);
scale_image_size 2429 src/image.c          desired_width = scale_image_size (width, 1, scale);
scale_image_size 2430 src/image.c          desired_height = scale_image_size (height, 1, scale);
scale_image_size 2437 src/image.c          desired_height = scale_image_size (desired_width, width, height);
scale_image_size 2444 src/image.c          desired_width = scale_image_size (desired_height, height, width);
scale_image_size 11368 src/image.c      width = scale_image_size (width, 1, FRAME_SCALE_FACTOR (f));
scale_image_size 11369 src/image.c      height = scale_image_size (height, 1, FRAME_SCALE_FACTOR (f));