/[gzz]/gzz/gzz/media/impl/PageImageScroll.java
ViewVC logotype

Diff of /gzz/gzz/media/impl/PageImageScroll.java

Parent Directory Parent Directory | Revision Log Revision Log | View Patch 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);

Legend:
Removed from v.1.11  
changed lines
  Added in v.1.12

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