15 |
*/ |
*/ |
16 |
public class UniquePaperVob extends AbstractVob { |
public class UniquePaperVob extends AbstractVob { |
17 |
public static final String rcsid = "$Id$"; |
public static final String rcsid = "$Id$"; |
18 |
public static boolean dbg = true; |
public static boolean dbg = false; |
19 |
private static void pa(String s) { System.out.println("UniquePaperVob::"+s); } |
private static void pa(String s) { System.out.println("UniquePaperVob::"+s); } |
20 |
|
|
21 |
|
|
46 |
info2.getExtRect(geom); |
info2.getExtRect(geom); |
47 |
int panx = geom.width, pany = geom.height; |
int panx = geom.width, pany = geom.height; |
48 |
|
|
49 |
//pa("mx: "+mx+", gx: "+geom.x+", panx: "+panx+", pany: "+pany); |
if (dbg) pa("mx: "+mx+", gx: "+geom.x+", panx: "+panx+", pany: "+pany); |
50 |
float zoom = ((float)(geom.x))/100000; |
float zoom = ((float)(geom.x))/100000; |
51 |
int gx = geom.x; |
int gx = geom.x; |
52 |
|
|