Mercurial > hg > de.mpg.mpiwg.itgroup.digilib.core

comparison src/de/mpg/mpiwg/itgroup/digilib/icons/greyskin/digimage-neu.jsp @ 1:83c58ea33792

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
first release (continued)
author dwinter
date Mon, 03 Jan 2011 09:11:25 +0100
parents
children
comparison
equal deleted inserted replaced
0:6829553d2378 1:83c58ea33792
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>