16 |
* XXX Doesn't work in AWT -- maybe should be in gzz.view.gl? |
* XXX Doesn't work in AWT -- maybe should be in gzz.view.gl? |
17 |
*/ |
*/ |
18 |
public class PageSpanCellView { |
public class PageSpanCellView { |
19 |
|
public static boolean dbg = false; |
20 |
|
private static void pa(String s) { System.out.println(s); } |
21 |
|
|
22 |
public static final float scale = 72 * 6; |
public static final float scale = 72 * 6; |
23 |
|
|
24 |
public boolean useBg = true; |
public boolean useBg = true; |
67 |
xywh[4*p + 2] = psps[p].getX(d_p.width); |
xywh[4*p + 2] = psps[p].getX(d_p.width); |
68 |
xywh[4*p + 3] = psps[p].getY(d_p.height); |
xywh[4*p + 3] = psps[p].getY(d_p.height); |
69 |
|
|
70 |
|
if(dbg) pa("Page "+p+" "+ |
71 |
|
xywh[4*p+0]+" "+ |
72 |
|
xywh[4*p+1]+" "+ |
73 |
|
xywh[4*p+2]+" "+ |
74 |
|
xywh[4*p+3]+" "+ |
75 |
|
pages[p]); |
76 |
|
|
77 |
if(!foundCenter && center != null && center.intersects(pages[p])) { |
if(!foundCenter && center != null && center.intersects(pages[p])) { |
78 |
foundCenter = true; |
foundCenter = true; |
79 |
Point l_c = center.getLocation(); // XXX Center? |
Point l_c = center.getLocation(); // XXX Center? |