/[gzz]/gzz/gzz/view/PageSpanCellView.java
ViewVC logotype

Diff of /gzz/gzz/view/PageSpanCellView.java

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 1.1 by tjl, Tue Jan 28 18:42:11 2003 UTC revision 1.2 by tjl, Wed Jan 29 08:50:46 2003 UTC
# Line 16  import java.awt.Point; Line 16  import java.awt.Point;
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;
# Line 64  public class PageSpanCellView { Line 67  public class PageSpanCellView {
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?

Legend:
Removed from v.1.1  
changed lines
  Added in v.1.2

savannah-hackers-public@gnu.org
ViewVC Help
Powered by ViewVC 1.1.26