Mercurial > hg > digilib-old

comparison client/digitallibrary/navigation_n6.js @ 6:254fca7a21ce vendor

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
First import of client module
author robcast
date Thu, 17 Jan 2002 15:29:52 +0100
parents
children 84a481a388bb 85126da2ae21
comparison
equal deleted inserted replaced
5:fa22d26c02d3 6:254fca7a21ce
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 }