131 |
|
|
132 |
SpanPage(PageImageScroll sb, int page) { |
SpanPage(PageImageScroll sb, int page) { |
133 |
|
|
134 |
String file = sb.imageFilename(page); |
PageImageSpan sp = sb.getPage(page); |
135 |
float resmult = sb.imageFileResolution(page) / |
Dimension d = sp.getSize(); |
136 |
sb.coordinateResolution() ; |
w = d.width; |
137 |
// Get the size of the orig. image |
h = d.height; |
138 |
Dimension d = ImageSize.readSize(new File(file)); |
|
|
if(d == null) { |
|
|
pa("Image cannot be loaded: "+file); |
|
|
throw new Error(); |
|
|
} |
|
|
w = (int)(d.width / resmult); |
|
|
h = (int)(d.height / resmult); |
|
139 |
MipzipLoader l; |
MipzipLoader l; |
140 |
File f = new File(file + |
|
141 |
|
// XXX works only with Storm-Alph |
142 |
|
org.nongnu.storm.BlockId id = |
143 |
|
(org.nongnu.storm.BlockId)sb.getBlockId(); |
144 |
|
|
145 |
|
File f = new File(id.getBitprint() + |
146 |
(GL.workaroundStupidBuggyAtiDrivers? |
(GL.workaroundStupidBuggyAtiDrivers? |
147 |
".mipzipBLAH" : |
".mipzipBLAH" : |
148 |
".mipzip")); |
".mipzip")); |