Mercurial > hg > digilib-old
comparison client/digitallibrary/navigation_n6.js @ 20:d407cb901df4
Initial revision
author | robcast |
---|---|
date | Thu, 17 Jan 2002 15:29:55 +0100 |
parents | |
children | 84a481a388bb 85126da2ae21 |
comparison
equal
deleted
inserted
replaced
1:0ff3ede32060 | 20:d407cb901df4 |
---|---|
1 /* navigation_ie -- JS library for digilib (Mozilla version) | |
2 | |
3 Digital Image Library servlet components | |
4 | |
5 Copyright (C) 2001, 2002 Christian Luginbuehl (luginbuehl@student.unibe.ch) | |
6 | |
7 This program is free software; you can redistribute it and/or modify it | |
8 under the terms of the GNU General Public License as published by the | |
9 Free Software Foundation; either version 2 of the License, or (at your | |
10 option) any later version. | |
11 | |
12 Please read license.txt for the full details. A copy of the GPL | |
13 may be found at http://www.gnu.org/copyleft/lgpl.html | |
14 | |
15 You should have received a copy of the GNU General Public License | |
16 along with this program; if not, write to the Free Software | |
17 Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA | |
18 | |
19 */ | |
20 | |
21 // these two global variables have to be initialised before the frist use of the functions below | |
22 // to fill in the attributes you can use the function initPicture provided below | |
23 // - array with all attributes | |
24 var att = new Array(); | |
25 | |
26 // - variable to store the path to the frame, in which the pictures should be created | |
27 var whichFrame = parent.mainFrame; | |
28 | |
29 // give a name to the window containing digilib - this way one can test if there is already a | |
30 // digilib-window open and replace the contents of it (ex. digicat) | |
31 window.name = "digilib"; | |
32 | |
33 // function that launches the ScaleServlet | |
34 // the different detailGrades: | |
35 // 0 -> back, next, page | |
36 // 1 -> zoomout | |
37 // 2 -> zoomarea, zoompoint, moveto, scaledef | |
38 | |
39 function loadPicture(detailGrade, keepArea) { | |
40 | |
41 // alert("wx: " + att[5] + "\tww: " + att[7] + "\nwy: " + att[6] + "\twh: " + att[8]); | |
42 | |
43 // sorry about that, but Mozilla needs to have a document body to calc the frames width and height | |
44 whichFrame.document.open(); | |
45 whichFrame.document.write('<html><head></head><body bgcolor="#666666" topmargin="10" leftmargin="10" marginwidth="10" magrinheight="10">'); | |
46 | |
47 // alert(whichFrame.innerWidth); | |
48 | |
49 var newPicture = "http://" + location.host + "/docuserver/digitallibrary/servlet/Scaler/" | |
50 newPicture += att[0] + "?" + "pn=" + att[1] + "&ws=" + att[2]; | |
51 newPicture += "&dw=" + (whichFrame.innerWidth-30) + "&dh=" + (whichFrame.innerHeight-30); | |
52 newPicture += "&mo=" + att[3]; | |
53 | |
54 if (detailGrade == 0) { | |
55 att[4] = "0/0"; | |
56 } | |
57 | |
58 if ((detailGrade == 1) || (detailGrade == 0 && !keepArea)) { | |
59 att[5] = 0; | |
60 att[6] = 0; | |
61 att[7] = 1; | |
62 att[8] = 1; | |
63 } | |
64 newPicture += "&wx=" + att[5] + "&wy=" + att[6] + "&ww=" + att[7] + "&wh=" + att[8]; | |
65 | |
66 whichFrame.document.write('<div ID="lay1" style="position:absolute; left:10; top:10; visibility:visible"><img name="pic" src="' + newPicture + '"></div>'); | |
67 whichFrame.document.write('<div ID="dot0" style="position:absolute; left:-20; top:100; visibility:hidden"><img src="http://' + location.host + '/docuserver/digitallibrary/mark1.gif"></div>'); | |
68 whichFrame.document.write('<div ID="dot1" style="position:absolute; left:-20; top:100; visibility:hidden"><img src="http://' + location.host + '/docuserver/digitallibrary/mark2.gif"></div>'); | |
69 whichFrame.document.write('<div ID="dot2" style="position:absolute; left:-20; top:100; visibility:hidden"><img src="http://' + location.host + '/docuserver/digitallibrary/mark3.gif"></div>'); | |
70 whichFrame.document.write('<div ID="dot3" style="position:absolute; left:-20; top:100; visibility:hidden"><img src="http://' + location.host + '/docuserver/digitallibrary/mark4.gif"></div>'); | |
71 whichFrame.document.write('<div ID="dot4" style="position:absolute; left:-20; top:100; visibility:hidden"><img src="http://' + location.host + '/docuserver/digitallibrary/mark5.gif"></div>'); | |
72 whichFrame.document.write('<div ID="dot5" style="position:absolute; left:-20; top:100; visibility:hidden"><img src="http://' + location.host + '/docuserver/digitallibrary/mark6.gif"></div>'); | |
73 whichFrame.document.write('<div ID="dot6" style="position:absolute; left:-20; top:100; visibility:hidden"><img src="http://' + location.host + '/docuserver/digitallibrary/mark7.gif"></div>'); | |
74 whichFrame.document.write('<div ID="dot7" style="position:absolute; left:-20; top:100; visibility:hidden"><img src="http://' + location.host + '/docuserver/digitallibrary/mark8.gif"></div>'); | |
75 whichFrame.document.write('<div ID="eck1" style="position:absolute; left:-20; top:120; visibility:hidden"><img src="http://' + location.host + '/docuserver/digitallibrary/olinks.gif"></div>'); | |
76 whichFrame.document.write('<div ID="eck2" style="position:absolute; left:-20; top:140; visibility:hidden"><img src="http://' + location.host + '/docuserver/digitallibrary/orechts.gif"></div>'); | |
77 whichFrame.document.write('<div ID="eck3" style="position:absolute; left:-20; top:160; visibility:hidden"><img src="http://' + location.host + '/docuserver/digitallibrary/ulinks.gif"></div>'); | |
78 whichFrame.document.write('<div ID="eck4" style="position:absolute; left:-20; top:180; visibility:hidden"><img src="http://' + location.host + '/docuserver/digitallibrary/urechts.gif"></div>'); | |
79 | |
80 whichFrame.document.write('</body></html>'); | |
81 | |
82 whichFrame.document.close(); | |
83 | |
84 initScripts(); | |
85 | |
86 pageInfo(); | |
87 | |
88 setmark(); | |
89 } | |
90 | |
91 | |
92 function Backpage(keepArea) { | |
93 | |
94 att[1] = parseInt(att[1]) - 1; | |
95 | |
96 if (att[1] > 0) { | |
97 loadPicture(0, keepArea); | |
98 } else { | |
99 att[1] = parseInt(att[1]) + 1; | |
100 alert("You are already on the first page!"); | |
101 } | |
102 } | |
103 | |
104 | |
105 function Nextpage(keepArea) { | |
106 | |
107 att[1] = parseInt(att[1]) + 1; | |
108 | |
109 if (att[1] <= parent.numPages) { | |
110 loadPicture(0, keepArea); | |
111 } else { | |
112 att[1] = parseInt(att[1]) - 1; | |
113 alert("You are already on the last page!"); | |
114 } | |
115 } | |
116 | |
117 | |
118 function Page(keepArea) { | |
119 | |
120 do { | |
121 page = prompt("Goto Page (1 - " + parent.numPages + "):", 1); | |
122 } while ((page != null) && ((page < 1) || (page > parent.numPages))); | |
123 | |
124 if (page != null && page != att[1]) { | |
125 att[1] = page; | |
126 loadPicture(0, keepArea); | |
127 } | |
128 } | |
129 | |
130 | |
131 function Digicat() { | |
132 var url = "http://" + location.host + "/docuserver/digitallibrary/digicat.html?" + att[0] + "+" + att[1]; | |
133 win = window.open(url, "digicat"); | |
134 win.focus(); | |
135 } | |
136 | |
137 | |
138 function Ref(refselect) { | |
139 | |
140 var hyperlinkRef = "http://" + location.host + "/docuserver/digitallibrary/digilib.jsp?"; | |
141 hyperlinkRef += att[0] + "+" + att[1] + "+" + att[2] + "+" + att[3] + "+" + att[4]; | |
142 | |
143 if ((att[5] != 0) || (att[6] != 0) || (att[7] != 1) || (att[8] != 1)) { | |
144 hyperlinkRef += "+" + att[5] + "+" + att[6] + "+" + att[7] + "+" + att[8]; | |
145 } | |
146 | |
147 if (refselect == 1) { | |
148 prompt("Link for HTML--documents", hyperlinkRef); | |
149 } else { | |
150 prompt("Link for LaTeX--documents", "\\href{" + hyperlinkRef + "}{TEXT}"); | |
151 } | |
152 } | |
153 | |
154 | |
155 function Mark() { | |
156 | |
157 if (att[4].split(";").length > 7) { | |
158 alert("Only 8 marks are possible at the moment!"); | |
159 return; | |
160 } | |
161 | |
162 function MarkEvent(event) { | |
163 | |
164 if ((att[4] != "") && (att[4] != "0/0")) { | |
165 att[4] += ";"; | |
166 } else { | |
167 att[4] = ""; | |
168 } | |
169 | |
170 var markX = cropFloat(att[5]+att[7]*(event.pageX-parseInt(whichFrame.document.getElementById("lay1").style.left))/whichFrame.document.pic.offsetWidth); | |
171 var markY = cropFloat(att[6]+att[8]*(event.pageY-parseInt(whichFrame.document.getElementById("lay1").style.top))/whichFrame.document.pic.offsetHeight); | |
172 | |
173 att[4] += markX + "/" + markY; | |
174 | |
175 whichFrame.document.getElementById("lay1").removeEventListener("mousedown", MarkEvent, true); | |
176 setmark(); | |
177 } | |
178 | |
179 whichFrame.document.getElementById("lay1").addEventListener("mousedown", MarkEvent, true); | |
180 } | |
181 | |
182 | |
183 function Zoomrect() { | |
184 var state = 0; | |
185 var x1, y1, x2, y2; | |
186 | |
187 function Click(event) { | |
188 | |
189 if (state == 0) { | |
190 state = 1; | |
191 | |
192 x1 = event.pageX; | |
193 y1 = event.pageY; | |
194 x2 = x1; | |
195 y2 = y1; | |
196 | |
197 whichFrame.document.getElementById("eck1").style.left = x1; | |
198 whichFrame.document.getElementById("eck1").style.top = y1; | |
199 whichFrame.document.getElementById("eck2").style.left = x2-12; | |
200 whichFrame.document.getElementById("eck2").style.top = y1; | |
201 whichFrame.document.getElementById("eck3").style.left = x1; | |
202 whichFrame.document.getElementById("eck3").style.top = y2-12; | |
203 whichFrame.document.getElementById("eck4").style.left = x2-12; | |
204 whichFrame.document.getElementById("eck4").style.top = y2-12; | |
205 | |
206 whichFrame.document.getElementById("eck1").style.visibility="visible"; | |
207 whichFrame.document.getElementById("eck2").style.visibility="visible"; | |
208 whichFrame.document.getElementById("eck3").style.visibility="visible"; | |
209 whichFrame.document.getElementById("eck4").style.visibility="visible"; | |
210 | |
211 whichFrame.document.getElementById("lay1").addEventListener("mousemove", Move, true); | |
212 whichFrame.document.getElementById("eck4").addEventListener("mousemove", Move, true); | |
213 | |
214 } else { | |
215 | |
216 x1 -= parseInt(whichFrame.document.getElementById("lay1").style.left); | |
217 y1 -= parseInt(whichFrame.document.getElementById("lay1").style.top); | |
218 | |
219 x2 = event.pageX-parseInt(whichFrame.document.getElementById("lay1").style.left); | |
220 y2 = event.pageY-parseInt(whichFrame.document.getElementById("lay1").style.top); | |
221 | |
222 whichFrame.document.getElementById("lay1").removeEventListener("mousedown", Click, true); | |
223 whichFrame.document.getElementById("eck4").removeEventListener("mousedown", Click, true); | |
224 | |
225 whichFrame.document.getElementById("lay1").removeEventListener("mousemove", Move, true); | |
226 whichFrame.document.getElementById("eck4").removeEventListener("mousemove", Move, true); | |
227 | |
228 whichFrame.document.getElementById("eck1").style.visibility="hidden"; | |
229 whichFrame.document.getElementById("eck2").style.visibility="hidden"; | |
230 whichFrame.document.getElementById("eck3").style.visibility="hidden"; | |
231 whichFrame.document.getElementById("eck4").style.visibility="hidden"; | |
232 | |
233 att[5] = cropFloat(att[5]+att[7]*((x1 < x2) ? x1 : x2)/whichFrame.document.pic.offsetWidth); | |
234 att[6] = cropFloat(att[6]+att[8]*((y1 < y2) ? y1 : y2)/whichFrame.document.pic.offsetHeight); | |
235 | |
236 att[7] = cropFloat(att[7]*Math.abs(x1-x2)/whichFrame.document.pic.offsetWidth); | |
237 att[8] = cropFloat(att[8]*Math.abs(y1-y2)/whichFrame.document.pic.offsetHeight); | |
238 | |
239 if (att[7] != 0 && att[8] != 0) { | |
240 loadPicture(2); | |
241 } | |
242 } | |
243 } | |
244 | |
245 function Move(event) { | |
246 | |
247 x2 = event.pageX; | |
248 y2 = event.pageY; | |
249 | |
250 whichFrame.document.getElementById("eck1").style.left = ((x1 < x2) ? x1 : x2); | |
251 whichFrame.document.getElementById("eck1").style.top = ((y1 < y2) ? y1 : y2); | |
252 whichFrame.document.getElementById("eck2").style.left = ((x1 < x2) ? x2 : x1)-12; | |
253 whichFrame.document.getElementById("eck2").style.top = ((y1 < y2) ? y1 : y2); | |
254 whichFrame.document.getElementById("eck3").style.left = ((x1 < x2) ? x1 : x2); | |
255 whichFrame.document.getElementById("eck3").style.top = ((y1 < y2) ? y2 : y1)-12; | |
256 whichFrame.document.getElementById("eck4").style.left = ((x1 < x2) ? x2 : x1)-12; | |
257 whichFrame.document.getElementById("eck4").style.top = ((y1 < y2) ? y2 : y1)-12; | |
258 } | |
259 | |
260 whichFrame.document.getElementById("lay1").addEventListener("mousedown", Click, true); | |
261 whichFrame.document.getElementById("eck4").addEventListener("mousedown", Click, true); | |
262 } | |
263 | |
264 | |
265 function Zoomin() { | |
266 | |
267 function ZoominEvent(event) { | |
268 | |
269 att[5] = cropFloat(att[5]+att[7]*(event.pageX-parseInt(whichFrame.document.getElementById("lay1").style.left))/whichFrame.document.pic.offsetWidth-0.5*att[7]*0.7); | |
270 att[6] = cropFloat(att[6]+att[8]*(event.pageY-parseInt(whichFrame.document.getElementById("lay1").style.top))/whichFrame.document.pic.offsetHeight-0.5*att[8]*0.7); | |
271 | |
272 att[7] = cropFloat(att[7]*0.7); | |
273 att[8] = cropFloat(att[8]*0.7); | |
274 | |
275 if (att[5] < 0) { | |
276 att[5] = 0; | |
277 } | |
278 if (att[6] < 0) { | |
279 att[6] = 0; | |
280 } | |
281 if (att[5]+att[7] > 1) { | |
282 att[5] = 1-att[7]; | |
283 } | |
284 if (att[6]+att[8] > 1) { | |
285 att[6] = 1-att[8]; | |
286 } | |
287 | |
288 whichFrame.document.getElementById("lay1").removeEventListener("mousedown", ZoominEvent, true); | |
289 | |
290 loadPicture(2); | |
291 } | |
292 | |
293 whichFrame.document.getElementById("lay1").addEventListener("mousedown", ZoominEvent, true); | |
294 } | |
295 | |
296 | |
297 function Zoomout() { | |
298 | |
299 loadPicture(1); | |
300 } | |
301 | |
302 | |
303 function Moveto() { | |
304 | |
305 function MovetoEvent(event) { | |
306 | |
307 att[5] = cropFloat(att[5]+att[7]*(event.pageX-parseInt(whichFrame.document.getElementById("lay1").style.left))/whichFrame.document.pic.offsetWidth-0.5*att[7]); | |
308 att[6] = cropFloat(att[6]+att[8]*(event.pageY-parseInt(whichFrame.document.getElementById("lay1").style.top))/whichFrame.document.pic.offsetHeight-0.5*att[8]); | |
309 | |
310 if (att[5] < 0) { | |
311 att[5] = 0; | |
312 } | |
313 if (att[6] < 0) { | |
314 att[6] = 0; | |
315 } | |
316 if (att[5]+att[7] > 1) { | |
317 att[5] = 1-att[7]; | |
318 } | |
319 if (att[6]+att[8] > 1) { | |
320 att[6] = 1-att[8]; | |
321 } | |
322 | |
323 whichFrame.document.getElementById("lay1").removeEventListener("mousedown", MovetoEvent, true); | |
324 | |
325 loadPicture(2); | |
326 } | |
327 | |
328 whichFrame.document.getElementById("lay1").addEventListener("mousedown", MovetoEvent, true); | |
329 } | |
330 | |
331 | |
332 function Scaledef(scaledef) { | |
333 | |
334 att[2] = scaledef; | |
335 loadPicture(2); | |
336 } | |
337 | |
338 | |
339 function setmark() { | |
340 | |
341 if (att[4] != "" && att[4] != "0/0") { | |
342 var mark = att[4].split(";"); | |
343 | |
344 var countMarks = mark.length; | |
345 | |
346 // maximum of marks is 8 | |
347 // we do not report this error because this is already done in func. "Mark" | |
348 if (countMarks > 8) countMarks = 8; | |
349 | |
350 var picWidth = whichFrame.document.pic.offsetWidth; | |
351 var picHeight = whichFrame.document.pic.offsetHeight; | |
352 | |
353 // catch the cases where the picture had not been loaded already and | |
354 // make a timeout so that the coordinates are calculated with the real dimensions | |
355 if (whichFrame.document.pic.complete) { | |
356 var xoffset = parseInt(whichFrame.document.getElementById("lay1").style.left); | |
357 var yoffset = parseInt(whichFrame.document.getElementById("lay1").style.top); | |
358 | |
359 for (var i = 0; i < countMarks; i++) { | |
360 mark[i] = mark[i].split("/"); | |
361 | |
362 if ((mark[i][0] > att[5]) && (mark[i][1] > att[6]) && (mark[i][0] < (att[5]+att[7])) && (mark[i][1] < (att[6]+att[8]))) { | |
363 | |
364 mark[i][0] = parseInt(xoffset+picWidth*(mark[i][0]-att[5])/att[7]); | |
365 mark[i][1] = parseInt(yoffset+picHeight*(mark[i][1]-att[6])/att[8]); | |
366 | |
367 | |
368 whichFrame.document.getElementById("dot" + i).style.left = mark[i][0]-5; | |
369 whichFrame.document.getElementById("dot" + i).style.top = mark[i][1]-5; | |
370 whichFrame.document.getElementById("dot" + i).style.visibility = "visible"; | |
371 } | |
372 } | |
373 } else { | |
374 setTimeout("setmark()", 100); | |
375 } | |
376 } | |
377 } | |
378 | |
379 // capturing keypresses for next and previous page | |
380 // ascii-values of n = 110, b = 98 | |
381 function parseKeypress (event) { | |
382 if (event.charCode == 110) { | |
383 Nextpage(); | |
384 } | |
385 if (event.charCode == 98) { | |
386 Backpage(); | |
387 } | |
388 } | |
389 | |
390 | |
391 // auxiliary function to crop senseless precicsion | |
392 function cropFloat(tmp) { | |
393 return parseInt(10000*tmp)/10000; | |
394 } | |
395 | |
396 | |
397 // initialize browser specific things (keypress caputring) | |
398 function initScripts() { | |
399 // for (var f = 0; f < window.frames.length; f++) { | |
400 // window.frames[f].document.addEventListener('keypress', parseKeypress, true); | |
401 // } | |
402 whichFrame.document.addEventListener('keypress', parseKeypress, true); | |
403 whichFrame.focus(); | |
404 } | |
405 | |
406 | |
407 // fill in the values of the "att"-array | |
408 function initPicture(picURL) { | |
409 att = picURL.split("+"); | |
410 | |
411 if (att[0].lastIndexOf("/") == att[0].length-1) { | |
412 att[0] = att[0].substring(0, att[0].length-1); | |
413 } | |
414 | |
415 if (att.length < 2 || att[1] == "") { | |
416 att[1] = 1; | |
417 } | |
418 if (att.length < 3 || att[2] == "") { | |
419 att[2] = "1.0"; | |
420 } | |
421 | |
422 if (att.length < 4) { | |
423 att[3] = ""; | |
424 } | |
425 | |
426 if (att[3].indexOf("f") > -1) { | |
427 att[3] = "fit"; | |
428 } | |
429 | |
430 if (att.length < 5 || att[4] == "") { | |
431 att[4] = "0/0"; | |
432 } | |
433 | |
434 // converts the old mark format (0-1000) to new format(0.0 - 1.0) | |
435 if (att[4] != "0/0") { | |
436 var tmp = att[4].split(";"); | |
437 | |
438 att[4] = ""; | |
439 | |
440 for (i = 0; i < tmp.length; i++) { | |
441 tmp[i] = tmp[i].split("/"); | |
442 | |
443 if (tmp[i][0] > 1 && tmp[i][1] > 1) { | |
444 tmp[i][0] /= 1000; | |
445 tmp[i][1] /= 1000; | |
446 } | |
447 | |
448 att[4] += tmp[i][0] + "/" + tmp[i][1] + ";"; | |
449 } | |
450 att[4] = att[4].slice(0, -1); | |
451 } | |
452 | |
453 if (att.length < 7) { | |
454 att[5] = 0; | |
455 att[6] = 0; | |
456 att[7] = 1; | |
457 att[8] = 1; | |
458 } else { | |
459 att[5] = parseFloat(att[5]); | |
460 att[6] = parseFloat(att[6]); | |
461 att[7] = parseFloat(att[7]); | |
462 att[8] = parseFloat(att[8]); | |
463 } | |
464 } | |
465 | |
466 | |
467 function pageInfo() { | |
468 | |
469 // bug in netscape 4.xx (confunding px and pt) | |
470 var fontsize = document.layers ? "11pt" : "11px"; | |
471 | |
472 if (window.pageFrame) { | |
473 pageFrame.document.open(); | |
474 pageFrame.document.write('<html><head></head><body bgcolor="#CCCCCC" topmargin="5" marginheight="5">'); | |
475 pageFrame.document.write('<p style="font-family: Verdana, Arial, Helvetica, sans-serif; text-align: center; color: #CC3333; font-size: ' + fontsize + '">'); | |
476 pageFrame.document.write(att[1] + '<b> of </b>' + numPages + '</p></body></html>'); | |
477 pageFrame.document.close(); | |
478 } | |
479 } |