Parent Directory | Revision Log | Patch
revision 1.11 by tjl, Fri Oct 4 06:54:11 2002 UTC | revision 1.12 by tjl, Fri Oct 11 13:35:02 2002 UTC | |
---|---|---|
# | Line 99 String rcsid = "$Id$"; | Line 99 String rcsid = "$Id$"; |
99 | pages = i; | pages = i; |
100 | pa("Checked document of "+i+" pages"); | pa("Checked document of "+i+" pages"); |
101 | } | } |
102 | /** DO NOT USE EXCEPT WHEN CREATING FAKE PAGESPANS | |
103 | * FOR TESTS. | |
104 | */ | |
105 | public void forcelengthKLUDGE(int len) { | |
106 | pages = len; | |
107 | } | |
108 | ||
109 | public Span getCurrent() { | public Span getCurrent() { |
110 | return new SimplePageSpan(0, pages, 0, 0, WIDTH, HEIGHT); | return new SimplePageSpan(0, pages, 0, 0, WIDTH, HEIGHT); |
|
savannah-hackers-public@gnu.org | ViewVC Help |
Powered by ViewVC 1.1.26 |