/[fenfire]/fenfire/org/fenfire/util/GLSpanner.java
ViewVC logotype

Diff of /fenfire/org/fenfire/util/GLSpanner.java

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

revision 1.7 by tjl, Wed Apr 23 01:45:49 2003 UTC revision 1.8 by tjl, Fri Jun 6 20:04:33 2003 UTC
# Line 79  public class GLSpanner { Line 79  public class GLSpanner {
79              pages = new SpanPage[sp.length()];              pages = new SpanPage[sp.length()];
80          }          }
81          SpanPage getPage(int i) {          SpanPage getPage(int i) {
82              pa("getPage: "+i+" "+pages.length);              if(dbg)
83                    pa("getPage: "+i+" "+pages.length);
84              if(i < 0 || i >= pages.length) return null;              if(i < 0 || i >= pages.length) return null;
85              if(pages[i] == null) {              if(pages[i] == null) {
86                  pages[i] = new SpanPage(sb, i);                  pages[i] = new SpanPage(sb, i);
87                  pa("created: "+i);                  if(dbg)
88                        pa("created: "+i);
89              }              }
90              pa("returning: "+pages[i]);              if(dbg)
91                    pa("returning: "+pages[i]);
92              return pages[i];              return pages[i];
93          }          }
94      }      }
# Line 144  public class GLSpanner { Line 147  public class GLSpanner {
147    
148              try {              try {
149                  path = MipzipCache.getPageFiles(sb)[page];                  path = MipzipCache.getPageFiles(sb)[page];
150                  pa("Loading mipzip path: "+path);                  if(dbg)
151                        pa("Loading mipzip path: "+path);
152    
153                  l = new MipzipLoader(new File(path));                  l = new MipzipLoader(new File(path));
154              } catch(IOException e) {              } catch(IOException e) {
# Line 216  public class GLSpanner { Line 220  public class GLSpanner {
220       * @param pixScale The number of pixels per imagespan unit: the resolution needed.       * @param pixScale The number of pixels per imagespan unit: the resolution needed.
221       */       */
222      public static SpanRect getSpanRect(PageImageSpan sp) {      public static SpanRect getSpanRect(PageImageSpan sp) {
223          pa("getSpanRect: "+sp+" "+sp.getPageIndex());          if(dbg)
224                pa("getSpanRect: "+sp+" "+sp.getPageIndex());
225          SpanRect r = (SpanRect)span2rect.get(sp);          SpanRect r = (SpanRect)span2rect.get(sp);
226          if(r == null) {          if(r == null) {
227              PageImageScroll sb = (PageImageScroll)sp.getScrollBlock();              PageImageScroll sb = (PageImageScroll)sp.getScrollBlock();

Legend:
Removed from v.1.7  
changed lines
  Added in v.1.8

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