20
|
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 }
|