diff options
author | fred ross-perry <fredross-perry@fred-ross-perrys-computer-2.local> | 2016-07-11 10:56:23 -0700 |
---|---|---|
committer | Robin Watts <robin.watts@artifex.com> | 2016-07-11 23:50:00 +0100 |
commit | 8d4b16f46062ba56d636865ca9ad7cb7e8a11551 (patch) | |
tree | f2961fbccd205cf54efd661a78bd2815528678ff /platform/java/example | |
parent | 0c10b5d65a1212e0040ca8de1b9a3df8622a5e5c (diff) | |
download | mupdf-8d4b16f46062ba56d636865ca9ad7cb7e8a11551.tar.xz |
android desktop viewer: scale the page box before making the pixmap in imageFromPageWithDevice
Diffstat (limited to 'platform/java/example')
-rw-r--r-- | platform/java/example/PageCanvas.java | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/platform/java/example/PageCanvas.java b/platform/java/example/PageCanvas.java index 11ed1877..ffe3efc2 100644 --- a/platform/java/example/PageCanvas.java +++ b/platform/java/example/PageCanvas.java @@ -19,6 +19,7 @@ public class PageCanvas extends java.awt.Canvas public static BufferedImage imageFromPageWithDevice(Page page, Matrix ctm) { Rect bbox = page.getBounds(); + bbox.transform(ctm); Pixmap pixmap = new Pixmap(ColorSpace.DeviceBGR, bbox); pixmap.clear(255); DrawDevice dev = new DrawDevice(pixmap); |