Parent Directory | Revision Log | Patch
revision 1.9 by tjl, Tue Apr 22 11:43:41 2003 UTC | revision 1.10 by benja, Tue Apr 22 11:53:01 2003 UTC | |
---|---|---|
# | Line 125 String rcsid = "$Id$"; | Line 125 String rcsid = "$Id$"; |
125 | public int getPageIndex() { return page; } | public int getPageIndex() { return page; } |
126 | } | } |
127 | ||
128 | public ImageSpan getPage(int p) { | public PageImageSpan getPage(int p) { |
129 | return new PageImageSpanImpl(this, p, 0, 0, | return new PageImageSpanImpl(this, p, 0, 0, |
130 | (int)pageInfo.getWidth(p), | (int)pageInfo.getWidth(p), |
131 | (int)pageInfo.getHeight(p) | (int)pageInfo.getHeight(p) |
|
savannah-hackers-public@gnu.org | ViewVC Help |
Powered by ViewVC 1.1.26 |