|
399
|
1 <%@ page language="java" %><%!
|
|
|
2 // -- JSP init -------------
|
|
|
3
|
|
|
4 // create DocumentBean instance for all JSP requests
|
|
|
5 digilib.servlet.DocumentBean docBean = new digilib.servlet.DocumentBean();
|
|
|
6
|
|
|
7 // initialize DocumentBean instance in JSP init
|
|
|
8 public void jspInit() {
|
|
|
9 try {
|
|
|
10 // set servlet init-parameter
|
|
|
11 docBean.setConfig(getServletConfig());
|
|
|
12 } catch (javax.servlet.ServletException e) {
|
|
|
13 System.out.println(e);
|
|
|
14 }
|
|
|
15 }
|
|
|
16 // -- end of JSP init -------------
|
|
|
17 %><%
|
|
|
18 // -- JSP request -------------
|
|
|
19
|
|
|
20 // parsing the query
|
|
|
21 // -----------------
|
|
|
22 digilib.servlet.DigilibRequest dlRequest = new digilib.servlet.DigilibRequest(request);
|
|
|
23 docBean.setRequest(dlRequest);
|
|
|
24 // check if authentication is needed and redirect if necessary
|
|
|
25 docBean.doAuthentication(response);
|
|
|
26 // add number of pages
|
|
|
27 dlRequest.setValue("pt", docBean.getNumPages());
|
|
|
28 // store objects for jsp:include
|
|
|
29 pageContext.setAttribute("docBean", docBean, pageContext.REQUEST_SCOPE);
|
|
|
30 %><html>
|
|
|
31 <head>
|
|
|
32 <title>Digital Document Library NG</title>
|
|
|
33
|
|
|
34 <style type="text/css">
|
|
|
35 body { background-color: #E0E0E0; color: black; font-size: 8pt }
|
|
|
36 code { font-family: monospace; color: blue; }
|
|
|
37 pre { color: #006060; }
|
|
|
38 img.png { border: none; }
|
|
|
39 a.icon { margin: 0px; padding: 0px; }
|
|
|
40 div.button { margin: -4px; padding: 0px; }
|
|
|
41 div#scaler-table { padding-right: 40px; }
|
|
|
42 div#buttons { position: absolute; right: 10px; top: 10px; }
|
|
|
43
|
|
|
44 </style>
|
|
|
45
|
|
|
46
|
|
|
47 <script type="text/javascript" src="../baselib.js"></script>
|
|
|
48
|
|
|
49 <script type="text/javascript" src="../dllib.js"></script>
|
|
|
50
|
|
|
51 <script language="JavaScript">
|
|
|
52
|
|
|
53 function highlightPNG(id, on) {
|
|
|
54 var elem = document.getElementById(id);
|
|
|
55 //var div = elem.parentNode.parentNode;
|
|
|
56 elem.style.backgroundImage = on
|
|
|
57 ? "url('corona.png')"
|
|
|
58 : null;
|
|
|
59 }
|
|
|
60
|
|
|
61 </script>
|
|
|
62
|
|
|
63 <script type="text/javascript">
|
|
|
64 base_init();
|
|
|
65 var dlTarget = window.name;
|
|
|
66 var baseUrl = '<%= dlRequest.getAsString("base.url") %>';
|
|
|
67 var toolbarEnabledURL = window.location.href;
|
|
|
68 newParameter('fn', '', 1);
|
|
|
69 newParameter('pn', '1', 1);
|
|
|
70 newParameter('ws', '1.0', 1);
|
|
|
71 newParameter('mo', '', 1);
|
|
|
72 newParameter('mk', '', 3);
|
|
|
73 newParameter('wx', '0.0', 2);
|
|
|
74 newParameter('wy', '0.0', 2);
|
|
|
75 newParameter('ww', '1.0', 2);
|
|
|
76 newParameter('wh', '1.0', 2);
|
|
|
77 newParameter('pt', '<%= dlRequest.getAsString("pt") %>', 1);
|
|
|
78 newParameter('brgt', '0.0', 1);
|
|
|
79 newParameter('cont', '0.0', 1);
|
|
|
80 newParameter('rot', '0.0', 1);
|
|
|
81 newParameter('rgba', '', 1);
|
|
|
82 newParameter('rgbm', '', 1);
|
|
|
83 newParameter('ddpix', '', 1);
|
|
|
84 newParameter('ddpiy', '', 1);
|
|
|
85 document.id='digilib';
|
|
|
86 dl_param_init();
|
|
|
87 </script>
|
|
|
88 </head>
|
|
|
89
|
|
|
90 <body bgcolor="#666666" onload="dl_init();">
|
|
|
91 <div id="scaler-table">
|
|
|
92 <% if (dlRequest.hasOption("clop", "noarrows")) {
|
|
|
93 %><jsp:include page="digimage_img_inc.jsp" /><%
|
|
|
94 } else {
|
|
|
95 %><jsp:include page="digimage_tbl_inc.jsp" /><%
|
|
|
96 }
|
|
|
97 %>
|
|
|
98 </div>
|
|
|
99
|
|
|
100 <div id="dot0" style="position:absolute; left:-20; top:100; visibility:hidden"><img src="../img/mark1.gif" border="0"></div>
|
|
|
101 <div id="dot1" style="position:absolute; left:-20; top:100; visibility:hidden"><img src="../img/mark2.gif" border="0"></div>
|
|
|
102 <div id="dot2" style="position:absolute; left:-20; top:100; visibility:hidden"><img src="../img/mark3.gif" border="0"></div>
|
|
|
103 <div id="dot3" style="position:absolute; left:-20; top:100; visibility:hidden"><img src="../img/mark4.gif" border="0"></div>
|
|
|
104 <div id="dot4" style="position:absolute; left:-20; top:100; visibility:hidden"><img src="../img/mark5.gif" border="0"></div>
|
|
|
105 <div id="dot5" style="position:absolute; left:-20; top:100; visibility:hidden"><img src="../img/mark6.gif" border="0"></div>
|
|
|
106 <div id="dot6" style="position:absolute; left:-20; top:100; visibility:hidden"><img src="../img/mark7.gif" border="0"></div>
|
|
|
107 <div id="dot7" style="position:absolute; left:-20; top:100; visibility:hidden"><img src="../img/mark8.gif" border="0"></div>
|
|
|
108 <div id="eck1" style="position:absolute; left:-20; top:100; visibility:hidden"><img src="../img/olinks.gif" border="0"></div>
|
|
|
109 <div id="eck2" style="position:absolute; left:-20; top:100; visibility:hidden"><img src="../img/orechts.gif" border="0"></div>
|
|
|
110 <div id="eck3" style="position:absolute; left:-20; top:100; visibility:hidden"><img src="../img/ulinks.gif" border="0"></div>
|
|
|
111 <div id="eck4" style="position:absolute; left:-20; top:100; visibility:hidden"><img src="../img/urechts.gif" border="0"></div>
|
|
|
112
|
|
|
113
|
|
|
114 <div id="buttons"
|
|
|
115 <div class="button">
|
|
|
116 <a
|
|
|
117 class="icon"
|
|
|
118 href="javascript:showOptions(0);setMark()"
|
|
|
119 >
|
|
|
120
|
|
|
121 <img
|
|
|
122 class="png"
|
|
|
123 id="mark"
|
|
|
124 onmouseover="highlightPNG('mark', 1)"
|
|
|
125 onmouseout="highlightPNG('mark', 0)"
|
|
|
126 title="set a mark"
|
|
|
127 src="mark.png"
|
|
|
128 >
|
|
|
129 </a>
|
|
|
130 </div>
|
|
|
131
|
|
|
132 <div class="button">
|
|
|
133 <a
|
|
|
134 class="icon"
|
|
|
135 href="javascript:removeMark()"
|
|
|
136 >
|
|
|
137
|
|
|
138 <img
|
|
|
139 class="png"
|
|
|
140 id="delmark"
|
|
|
141 onmouseover="highlightPNG('delmark', 1)"
|
|
|
142 onmouseout="highlightPNG('delmark', 0)"
|
|
|
143 title="delete the last mark"
|
|
|
144 src="delmark.png"
|
|
|
145 >
|
|
|
146 </a>
|
|
|
147 </div>
|
|
|
148
|
|
|
149 <div class="button">
|
|
|
150 <a
|
|
|
151 class="icon"
|
|
|
152 href="javascript:getRefWin()"
|
|
|
153 >
|
|
|
154
|
|
|
155 <img
|
|
|
156 class="png"
|
|
|
157 id="reference"
|
|
|
158 onmouseover="highlightPNG('reference', 1)"
|
|
|
159 onmouseout="highlightPNG('reference', 0)"
|
|
|
160 title="get a reference URL"
|
|
|
161 src="reference.png"
|
|
|
162 >
|
|
|
163 </a>
|
|
|
164 </div>
|
|
|
165
|
|
|
166 <div class="button">
|
|
|
167 <a
|
|
|
168 class="icon"
|
|
|
169 href="javascript:zoomBy(1.4)"
|
|
|
170 >
|
|
|
171
|
|
|
172 <img
|
|
|
173 class="png"
|
|
|
174 id="zoom-in"
|
|
|
175 onmouseover="highlightPNG('zoom-in', 1)"
|
|
|
176 onmouseout="highlightPNG('zoom-in', 0)"
|
|
|
177 title="zoom in"
|
|
|
178 src="zoom-in.png"
|
|
|
179 >
|
|
|
180 </a>
|
|
|
181 </div>
|
|
|
182
|
|
|
183 <div class="button">
|
|
|
184 <a
|
|
|
185 class="icon"
|
|
|
186 href="javascript:zoomBy(0.7)"
|
|
|
187 >
|
|
|
188
|
|
|
189 <img
|
|
|
190 class="png"
|
|
|
191 id="zoom-out"
|
|
|
192 onmouseover="highlightPNG('zoom-out', 1)"
|
|
|
193 onmouseout="highlightPNG('zoom-out', 0)"
|
|
|
194 title="zoom out"
|
|
|
195 src="zoom-out.png"
|
|
|
196 >
|
|
|
197 </a>
|
|
|
198 </div>
|
|
|
199
|
|
|
200 <div class="button">
|
|
|
201 <a
|
|
|
202 class="icon"
|
|
|
203 href="javascript:showOptions(0);zoomArea()"
|
|
|
204 >
|
|
|
205
|
|
|
206 <img
|
|
|
207 class="png"
|
|
|
208 id="zoom-area"
|
|
|
209 onmouseover="highlightPNG('zoom-area', 1)"
|
|
|
210 onmouseout="highlightPNG('zoom-area', 0)"
|
|
|
211 title="zoom area"
|
|
|
212 src="zoom-area.png"
|
|
|
213 >
|
|
|
214 </a>
|
|
|
215 </div>
|
|
|
216
|
|
|
217 <div class="button">
|
|
|
218 <a
|
|
|
219 class="icon"
|
|
|
220 href="javascript:zoomFullpage()"
|
|
|
221 >
|
|
|
222
|
|
|
223 <img
|
|
|
224 class="png"
|
|
|
225 id="zoom-full"
|
|
|
226 onmouseover="highlightPNG('zoom-full', 1)"
|
|
|
227 onmouseout="highlightPNG('zoom-full', 0)"
|
|
|
228 title="view the whole image"
|
|
|
229 src="zoom-full.png"
|
|
|
230 >
|
|
|
231 </a>
|
|
|
232 </div>
|
|
|
233
|
|
|
234 <div class="button">
|
|
|
235 <a
|
|
|
236 class="icon"
|
|
|
237 href="javascript:mirror('h')"
|
|
|
238 >
|
|
|
239
|
|
|
240 <img
|
|
|
241 class="png"
|
|
|
242 id="mirror-h"
|
|
|
243 onmouseover="highlightPNG('mirror-h', 1)"
|
|
|
244 onmouseout="highlightPNG('mirror-h', 0)"
|
|
|
245 title="mirror horizontally"
|
|
|
246 src="mirror-horizontal.png"
|
|
|
247 >
|
|
|
248 </a>
|
|
|
249 </div>
|
|
|
250
|
|
|
251 <div class="button">
|
|
|
252 <a
|
|
|
253 class="icon"
|
|
|
254 href="javascript:mirror('v')"
|
|
|
255 >
|
|
|
256
|
|
|
257 <img
|
|
|
258 class="png"
|
|
|
259 id="mirror-v"
|
|
|
260 onmouseover="highlightPNG('mirror-v', 1)"
|
|
|
261 onmouseout="highlightPNG('mirror-v', 0)"
|
|
|
262 title="mirror vertically"
|
|
|
263 src="mirror-vertical.png"
|
|
|
264 >
|
|
|
265 </a>
|
|
|
266 </div>
|
|
|
267
|
|
|
268 <div class="button">
|
|
|
269 <a
|
|
|
270 class="icon"
|
|
|
271 href="javascript:setParamWin('rot', 'Rotate (0..360) clockwise')"
|
|
|
272 >
|
|
|
273
|
|
|
274 <img
|
|
|
275 class="png"
|
|
|
276 id="rotate"
|
|
|
277 onmouseover="highlightPNG('rotate', 1)"
|
|
|
278 onmouseout="highlightPNG('rotate', 0)"
|
|
|
279 title="rotate image"
|
|
|
280 src="rotate.png"
|
|
|
281 >
|
|
|
282 </a>
|
|
|
283 </div>
|
|
|
284
|
|
|
285 <div class="button">
|
|
|
286 <a
|
|
|
287 class="icon"
|
|
|
288 href="javascript:setParamWin('brgt', 'Brightness (-255..255)')"
|
|
|
289 >
|
|
|
290
|
|
|
291 <img
|
|
|
292 class="png"
|
|
|
293 id="brightness"
|
|
|
294 onmouseover="highlightPNG('brightness', 1)"
|
|
|
295 onmouseout="highlightPNG('brightness', 0)"
|
|
|
296 title="set brightness"
|
|
|
297 src="brightness.png"
|
|
|
298 >
|
|
|
299 </a>
|
|
|
300 </div>
|
|
|
301
|
|
|
302 <div class="button">
|
|
|
303 <a
|
|
|
304 class="icon"
|
|
|
305 href="javascript:setParamWin('cont', 'Contrast (0..8)')"
|
|
|
306 >
|
|
|
307
|
|
|
308 <img
|
|
|
309 class="png"
|
|
|
310 id="contrast"
|
|
|
311 onmouseover="highlightPNG('contrast', 1)"
|
|
|
312 onmouseout="highlightPNG('contrast', 0)"
|
|
|
313 title="set contrast"
|
|
|
314 src="contrast.png"
|
|
|
315 >
|
|
|
316 </a>
|
|
|
317 </div>
|
|
|
318
|
|
|
319 <div class="button">
|
|
|
320 <a
|
|
|
321 class="icon"
|
|
|
322 href="javascript:setParamWin('rgb', '...')"
|
|
|
323 >
|
|
|
324
|
|
|
325 <img
|
|
|
326 class="png"
|
|
|
327 id="rgb"
|
|
|
328 onmouseover="highlightPNG('rgb', 1)"
|
|
|
329 onmouseout="highlightPNG('rgb', 0)"
|
|
|
330 title="set rgb values"
|
|
|
331 src="rgb.png"
|
|
|
332 >
|
|
|
333 </a>
|
|
|
334 </div>
|
|
|
335
|
|
|
336 <div class="button">
|
|
|
337 <a
|
|
|
338 class="icon"
|
|
|
339 href="javascript:setParamWin('size', '...')"
|
|
|
340 >
|
|
|
341
|
|
|
342 <img
|
|
|
343 class="png"
|
|
|
344 id="size"
|
|
|
345 onmouseover="highlightPNG('size', 1)"
|
|
|
346 onmouseout="highlightPNG('size', 0)"
|
|
|
347 title="resize page"
|
|
|
348 src="size.png"
|
|
|
349 >
|
|
|
350 </a>
|
|
|
351 </div>
|
|
|
352
|
|
|
353 <div class="button">
|
|
|
354 <a
|
|
|
355 class="icon"
|
|
|
356 href="javascript:setQualityWin('Quality (0..2)')"
|
|
|
357 >
|
|
|
358
|
|
|
359 <img
|
|
|
360 class="png"
|
|
|
361 id="quality"
|
|
|
362 onmouseover="highlightPNG('quality', 1)"
|
|
|
363 onmouseout="highlightPNG('quality', 0)"
|
|
|
364 title="set image quality"
|
|
|
365 src="quality.png"
|
|
|
366 >
|
|
|
367 </a>
|
|
|
368 </div>
|
|
|
369
|
|
|
370 <div class="button">
|
|
|
371 <a
|
|
|
372 class="icon"
|
|
|
373 href="javascript:gotoPage('-1')"
|
|
|
374 >
|
|
|
375
|
|
|
376 <img
|
|
|
377 class="png"
|
|
|
378 id="back"
|
|
|
379 onmouseover="highlightPNG('back', 1)"
|
|
|
380 onmouseout="highlightPNG('back', 0)"
|
|
|
381 title="goto previous image"
|
|
|
382 src="back.png"
|
|
|
383 >
|
|
|
384 </a>
|
|
|
385 </div>
|
|
|
386
|
|
|
387 <div class="button">
|
|
|
388 <a
|
|
|
389 class="icon"
|
|
|
390 href="javascript:gotoPage('+1')"
|
|
|
391 >
|
|
|
392
|
|
|
393 <img
|
|
|
394 class="png"
|
|
|
395 id="fwd"
|
|
|
396 onmouseover="highlightPNG('fwd', 1)"
|
|
|
397 onmouseout="highlightPNG('fwd', 0)"
|
|
|
398 title="goto next image"
|
|
|
399 src="fwd.png"
|
|
|
400 >
|
|
|
401 </a>
|
|
|
402 </div>
|
|
|
403
|
|
|
404 <div class="button">
|
|
|
405 <a
|
|
|
406 class="icon"
|
|
|
407 href="javascript:gotoPageWin()"
|
|
|
408 >
|
|
|
409
|
|
|
410 <img
|
|
|
411 class="png"
|
|
|
412 id="page"
|
|
|
413 onmouseover="highlightPNG('page', 1)"
|
|
|
414 onmouseout="highlightPNG('page', 0)"
|
|
|
415 title="specify image"
|
|
|
416 src="page.png"
|
|
|
417 >
|
|
|
418 </a>
|
|
|
419 </div>
|
|
|
420
|
|
|
421 <div class="button">
|
|
|
422 <a
|
|
|
423 class="icon"
|
|
|
424 href="javascript:help()"
|
|
|
425 >
|
|
|
426
|
|
|
427 <img
|
|
|
428 class="png"
|
|
|
429 id="help"
|
|
|
430 onmouseover="highlightPNG('help', 1)"
|
|
|
431 onmouseout="highlightPNG('help', 0)"
|
|
|
432 title="help"
|
|
|
433 src="help.png"
|
|
|
434 >
|
|
|
435 </a>
|
|
|
436 </div>
|
|
|
437
|
|
|
438 </div>
|
|
|
439
|
|
|
440
|
|
|
441 </body>
|
|
|
442
|
|
|
443 </html>
|
