56   guint scale_width;  member
752     guint scale_width, scale_height;  in ogmrip_video_codec_autosize()  local
754     if (ogmrip_video_codec_get_scale_size (video, &scale_width, &scale_height) &&  in ogmrip_video_codec_autosize()
755 …(scale_width > max_width || scale_height > max_height || scale_width < min_width || scale_height <…  in ogmrip_video_codec_autosize()
757       gdouble ratio = scale_width / (gdouble) scale_height;  in ogmrip_video_codec_autosize()
759       if (scale_width > max_width)  in ogmrip_video_codec_autosize()
761         scale_width = max_width;  in ogmrip_video_codec_autosize()
762         scale_height = FLOOR (scale_width / ratio);  in ogmrip_video_codec_autosize()
768         scale_width = FLOOR (scale_height * ratio);  in ogmrip_video_codec_autosize()
771       if (scale_width < min_width)  in ogmrip_video_codec_autosize()
773         scale_width = min_width;  in ogmrip_video_codec_autosize()
774         scale_height = ROUND (scale_width / ratio);  in ogmrip_video_codec_autosize()
780         scale_width = ROUND (scale_height * ratio);  in ogmrip_video_codec_autosize()
783       video->priv->scale_width = scale_width;  in ogmrip_video_codec_autosize()
1599   guint scale_width, scale_height;  in ogmrip_video_codec_get_scale_size()  local
1605   scale_width = video->priv->scale_width;  in ogmrip_video_codec_get_scale_size()
1608   if (!scale_width)  in ogmrip_video_codec_get_scale_size()
1609     scale_width = raw_width;  in ogmrip_video_codec_get_scale_size()
1615     *width = 16 * ROUND (scale_width / 16.0);  in ogmrip_video_codec_get_scale_size()
1620   return scale_width != raw_width || scale_height != raw_height;  in ogmrip_video_codec_get_scale_size()
1637   video->priv->scale_width = width;  in ogmrip_video_codec_set_scale_size()
1794   guint scale_width, scale_height;  in ogmrip_video_codec_autoscale()  local
1817     for (scale_width = raw_width - 25 * 16; scale_width <= raw_width; scale_width += 16)  in ogmrip_video_codec_autoscale()
1819       scale_height = ROUND (scale_width / ratio);  in ogmrip_video_codec_autoscale()
1822         (gdouble) (scale_width * scale_height * rnumerator);  in ogmrip_video_codec_autoscale()
1830     scale_width = crop_width;  in ogmrip_video_codec_autoscale()
1831     scale_height = ROUND (scale_width / ratio);  in ogmrip_video_codec_autoscale()
1834   scale_width = MIN (scale_width, raw_width);  in ogmrip_video_codec_autoscale()
1836   ogmrip_video_codec_set_scale_size (video, scale_width, scale_height);  in ogmrip_video_codec_autoscale()