[Swftools-common] [PATCH] resolution based output scaling for swfrender

[Tim Whittington]

swfrender currently scales output 1:1 from the source .swf.
Assuming that the source swf file is produced by pdf2swf, the swf size is actually translated from the original paper size at 1 pt == 1 px, and so the overall PDF -> PNG rendering is done at 72dpi.

I need to render the output images at higher DPI (e.g. for computer display I'd like 100-150dpi), so I've added a -r option that scales the output image based on a ratio of the target resolution to 72dpi (e.g. 100DPI == 1.388 scale).

This is slightly weird given that SWF and PNG both have pixel sizes, so it only make sense if you assume a pdf2swf generation of the SWF, so I'm not 100% sure this fits with the purpose of swfrender (although it does seem to assume a pdf2swf generate input).

cheers
tim

swfrender-outputresolution.diff
Description: Text Data