Summary: | Incorrect movie size types | ||
---|---|---|---|
Product: | poppler | Reporter: | Ilya Gorenbein <igorenbein> |
Component: | general | Assignee: | poppler-bugs <poppler-bugs> |
Status: | RESOLVED FIXED | QA Contact: | |
Severity: | major | ||
Priority: | medium | ||
Version: | unspecified | ||
Hardware: | Other | ||
OS: | Linux (All) | ||
Whiteboard: | |||
i915 platform: | i915 features: | ||
Attachments: |
Patch to the problem
Cast to integer patch |
Description
Ilya Gorenbein
2009-10-26 06:12:17 UTC
Having a look at the specification it says the height and width are pixels, i see little reason to support decimal pixel sizes, so what about accepting reals but rounding them inside Annot code? Created attachment 30762 [details] [review] Cast to integer patch I did the patch (to double) keeping in mind that we do not want to loose the data. Maybe in the future it will be useful. Patch according to suggested by you solution (to int) is attached. Commited, thanks for the patch |
Use of freedesktop.org services, including Bugzilla, is subject to our Code of Conduct. How we collect and use information is described in our Privacy Policy.