65 |
private void page(int p, PageSpan sp) { |
private void page(int p, PageSpan sp) { |
66 |
pages[p] = sp; |
pages[p] = sp; |
67 |
GLSpanner.SpanRect rect = GLSpanner.getSpanRect(pages[p]); |
GLSpanner.SpanRect rect = GLSpanner.getSpanRect(pages[p]); |
68 |
psps[p] = new PageSpanPaper(null, rect.page); |
psps[p] = new PageSpanPaper(rect.page, |
69 |
|
sp.getScrollBlock().hashCode()); |
70 |
|
|
71 |
Point l_p = pages[p].getLocation(); |
Point l_p = pages[p].getLocation(); |
72 |
Dimension d_p = pages[p].getSize(); |
Dimension d_p = pages[p].getSize(); |