11 |
import gzz.media.PageSpan; |
import gzz.media.PageSpan; |
12 |
import gzz.media.impl.PageImageScroll; |
import gzz.media.impl.PageImageScroll; |
13 |
import gzz.util.ImageSize; |
import gzz.util.ImageSize; |
14 |
|
import gzz.util.ZZLogger; |
15 |
|
|
16 |
public class GLSpanner { |
public class GLSpanner { |
17 |
public static boolean dbg = false; |
public static boolean dbg = false; |
85 |
try { |
try { |
86 |
l = new MipzipLoader(new File(file+".mipzip")); |
l = new MipzipLoader(new File(file+".mipzip")); |
87 |
} catch(IOException e) { |
} catch(IOException e) { |
88 |
throw new Error("ARGH"); |
throw new Error("MipzipLoader threw an IOException for " + |
89 |
|
file + ".mipzip"); |
90 |
} |
} |
91 |
Dimension largest = l.getLevelSize(0); |
Dimension largest = l.getLevelSize(0); |
92 |
x1 = d.width / (float)largest.width; |
x1 = d.width / (float)largest.width; |