400
|
1 /* Copyright (C) 2003,2004 IT-Group MPIWG, WTWG Uni Bern and others
|
|
2
|
|
3 This program is free software; you can redistribute it and/or
|
|
4 modify it under the terms of the GNU General Public License
|
|
5 as published by the Free Software Foundation; either version 2
|
|
6 of the License, or (at your option) any later version.
|
|
7
|
|
8 This program is distributed in the hope that it will be useful,
|
|
9 but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
10 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
11 GNU General Public License for more details.
|
|
12
|
|
13 You should have received a copy of the GNU General Public License
|
|
14 along with this program; if not, write to the Free Software
|
|
15 Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA
|
|
16
|
|
17 Authors:
|
|
18 Christian Luginbuehl, 01.05.2003 (first version)
|
|
19 DW 24.03.2004 (Changed for digiLib in Zope)
|
|
20 Robert Casties, 8.11.2005
|
411
|
21 Martin Raspe <hertzhaft@biblhertz.it>, 12.12.2005
|
400
|
22
|
|
23 ! Requires baselib.js !
|
|
24
|
|
25 */
|
411
|
26 digilibVersion = "Digilib NG";
|
|
27 dllibVersion = "2.0";
|
|
28 isDigilibInitialized = false; // gets set to true in dl_param_init
|
|
29 reloadPage = true; // reload the page when parameters were changed
|
400
|
30
|
|
31 function identify() {
|
|
32 // used for identifying a digilib instance
|
|
33 // Relato uses that function - lugi
|
411
|
34 return digilibVersion;
|
400
|
35 }
|
|
36 /*
|
|
37 * more parameter handling
|
|
38 */
|
|
39
|
|
40 function parseArea() {
|
|
41 // returns area Rectangle from current parameters
|
411
|
42 return new Rectangle(
|
|
43 getParameter("wx"),
|
|
44 getParameter("wy"),
|
|
45 getParameter("ww"),
|
|
46 getParameter("wh"));
|
|
47 }
|
400
|
48
|
|
49 function setParamFromArea(rect) {
|
411
|
50 // sets digilib wx etc. from rect
|
|
51 setParameter("wx", cropFloat(rect.x));
|
|
52 setParameter("wy", cropFloat(rect.y));
|
|
53 setParameter("ww", cropFloat(rect.width));
|
|
54 setParameter("wh", cropFloat(rect.height));
|
|
55 return true;
|
|
56 }
|
400
|
57
|
|
58 function parseTrafo(elem) {
|
|
59 // returns Transform from current dlArea and picsize
|
|
60 var picsize = getElementRect(elem);
|
|
61 var trafo = new Transform();
|
|
62 // subtract area offset and size
|
|
63 trafo.concat(getTranslation(new Position(-dlArea.x, -dlArea.y)));
|
|
64 trafo.concat(getScale(new Size(1/dlArea.width, 1/dlArea.height)));
|
|
65 // scale to screen size
|
|
66 trafo.concat(getScale(picsize));
|
|
67 trafo.concat(getTranslation(picsize));
|
|
68 // rotate
|
|
69 //trafo.concat(getRotation(- getParameter("rot"), new Position(0.5*picsize.width, 0.5*picsize.height)));
|
|
70 // mirror
|
|
71 //if (hasFlag("hmir")) {
|
|
72 //trafo.m00 = - trafo.m00;
|
|
73 //}
|
|
74 //if (hasFlag("vmir")) {
|
|
75 //trafo.m11 = - trafo.m11;
|
|
76 //}
|
|
77 return trafo;
|
|
78 }
|
|
79
|
|
80 function parseMarks() {
|
|
81 // returns marks array from current parameters
|
|
82 var marks = new Array();
|
411
|
83 var param = getParameter("mk");
|
|
84 var pairs = (param.indexOf(";") >= 0)
|
|
85 ? param.split(";") // old format with ";"
|
|
86 : param.split(","); // new format
|
|
87 for (var i = 0; i < pairs.length ; i++) {
|
|
88 var pos = pairs[i].split("/");
|
|
89 if (pos.length > 1) marks.push(new Position(pos[0], pos[1]));
|
|
90 }
|
|
91 return marks;
|
400
|
92 }
|
|
93
|
|
94 function getAllMarks() {
|
|
95 // returns a string with all marks in query format
|
|
96 var marks = new Array();
|
411
|
97 for (var i = 0; i < dlMarks.length; i++)
|
400
|
98 marks.push(cropFloat(dlMarks[i].x) + "/" + cropFloat(dlMarks[i].y));
|
411
|
99 return marks.join(",");
|
400
|
100 }
|
411
|
101
|
|
102 getMarksQueryString = getAllMarks;
|
400
|
103
|
411
|
104 function addMark(evt) {
|
|
105 // add a mark
|
|
106 var pos = dlTrafo.invtransform(evtPosition(evt));
|
|
107 dlMarks.push(pos)
|
|
108 setParameter("mk", getAllMarks());
|
|
109 return true;
|
|
110 }
|
|
111
|
|
112 function createMarkDiv(index) {
|
|
113 var div = document.createElement("div");
|
|
114 div.className = "mark";
|
|
115 div.id = "mark" + index;
|
|
116 div.innerHTML = index + 1;
|
|
117 document.body.appendChild(div);
|
|
118 return div;
|
|
119 }
|
400
|
120
|
|
121 function deleteMark() {
|
411
|
122 // delete the last mark
|
|
123 var mark = dlMarks.pop();
|
|
124 setParameter("mk", getAllMarks());
|
|
125 return true;
|
|
126 }
|
400
|
127
|
|
128 function hasFlag(mode) {
|
411
|
129 // returns if mode flag is set
|
|
130 return (dlFlags[mode]);
|
|
131 }
|
400
|
132
|
|
133 function addFlag(mode) {
|
411
|
134 // add a mode flag
|
|
135 dlFlags[mode] = mode;
|
|
136 setParameter("mo", getAllFlags());
|
|
137 return true;
|
|
138 }
|
400
|
139
|
|
140 function removeFlag(mode) {
|
411
|
141 // remove a mode flag
|
|
142 if (dlFlags[mode]) delete dlFlags[mode];
|
|
143 setParameter("mo", getAllFlags());
|
|
144 return true;
|
|
145 }
|
400
|
146
|
|
147 function toggleFlag(mode) {
|
411
|
148 // change a mode flag
|
|
149 if (dlFlags[mode]) {
|
|
150 delete dlFlags[mode];
|
|
151 } else {
|
|
152 dlFlags[mode] = mode;
|
|
153 }
|
|
154 setParameter("mo", getAllFlags());
|
|
155 return true;
|
|
156 }
|
400
|
157
|
|
158 function getAllFlags() {
|
|
159 // returns a string with all flags in query format
|
|
160 var fa = new Array();
|
|
161 for (var f in dlFlags) {
|
|
162 if ((f != "")&&(dlFlags[f] != null)) {
|
|
163 fa.push(f);
|
|
164 }
|
|
165 }
|
|
166 return fa.join(",");
|
|
167 }
|
|
168
|
|
169 function parseFlags() {
|
|
170 // sets dlFlags from the current parameters
|
|
171 var flags = new Object();
|
|
172 var fa = getParameter("mo").split(",");
|
|
173 for (var i = 0; i < fa.length ; i++) {
|
|
174 var f = fa[i];
|
|
175 if (f != "") {
|
|
176 flags[f] = f;
|
|
177 }
|
|
178 }
|
|
179 return flags;
|
411
|
180 }
|
400
|
181
|
|
182
|
|
183 function bestPicSize(elem, inset) {
|
|
184 // returns a Size with the best image size for the given element
|
|
185 if (! defined(inset)) {
|
|
186 inset = 25;
|
|
187 }
|
|
188 var ws = getWinSize();
|
|
189 var es = getElementPosition(elem);
|
|
190 if (es) {
|
|
191 ws.width = ws.width - es.x - inset;
|
|
192 ws.height = ws.height - es.y - inset;
|
|
193 }
|
|
194 return ws;
|
|
195 }
|
|
196
|
|
197 function setDLParam(e, s, relative) {
|
|
198 // sets parameter based on HTML event
|
|
199 var nam;
|
|
200 var val;
|
|
201 if (s.type && (s.type == "select-one")) {
|
|
202 nam = s.name;
|
|
203 val = s.options[s.selectedIndex].value;
|
|
204 } else if (s.name && s.value) {
|
|
205 nam = s.name;
|
|
206 val = s.value;
|
|
207 }
|
|
208 if (nam && val) {
|
|
209 setParameter(nam, val, relative);
|
|
210 display();
|
|
211 } else {
|
|
212 alert("ERROR: unable to process event!");
|
|
213 }
|
|
214 return true;
|
|
215 }
|
|
216
|
|
217
|
|
218 /* **********************************************
|
|
219 * digilib specific routines
|
|
220 * ******************************************** */
|
|
221
|
|
222
|
411
|
223 function parseAllParameters() {
|
|
224 // put the query parameters (sans "?") in the parameters array
|
|
225 parseParameters(location.search.slice(1));
|
|
226 // treat special parameters
|
|
227 dlMarks = parseMarks();
|
|
228 dlArea = parseArea();
|
|
229 dlFlags = parseFlags();
|
|
230 }
|
|
231
|
400
|
232 function dl_param_init() {
|
411
|
233 // initialisation before onload
|
|
234 if (!baseLibVersion) alert("ERROR: baselib.js not loaded!");
|
|
235 if (isDigilibInitialized) return false; // dl_param_init was already run
|
|
236 dlArea = new Rectangle(0.0, 0.0, 1.0, 1.0);
|
|
237 dlMaxArea = new Rectangle(0.0, 0.0, 1.0, 1.0);
|
|
238 dlTrafo = new Transform();
|
|
239 dlMarks = new Array();
|
|
240 dlFlags = new Object();
|
|
241 elemScaler = null;
|
|
242 picElem = null;
|
|
243 ZOOMFACTOR = Math.sqrt(2);
|
|
244 // parse parameters
|
|
245 parseAllParameters();
|
|
246 isDigilibInitialized = true;
|
|
247 return true;
|
|
248 }
|
400
|
249
|
|
250 function dl_init() {
|
411
|
251 // initalisation on load
|
|
252 if (!isDigilibInitialized) dl_param_init();
|
|
253 elemScaler = getElement("scaler");
|
|
254 picElem = getElement("pic", true);
|
|
255 // in N4 pic is in the scaler layer
|
|
256 if (picElem == null && elemScaler) {
|
|
257 picElem = elemScaler.document.images[0];
|
|
258 }
|
|
259 // give a name to the window containing digilib
|
|
260 window.name = defined(dlTarget) && dlTarget
|
|
261 ? dlTarget
|
|
262 : "digilib";
|
|
263 // put the query parameters (sans "?") in the parameters array
|
|
264 parseAllParameters();
|
|
265 // wait for image to load and display marks
|
|
266 renderMarks();
|
|
267 // done
|
|
268 focus();
|
400
|
269 }
|
|
270
|
411
|
271 function loadScalerImage(detail) {
|
|
272 var pic = getElement('pic');
|
|
273 var scaler = getElement('scaler');
|
|
274 var zoomDiv = getElement("zoom"); // test for presence only
|
|
275 var overlay = getElement("overlay"); // test for presence only
|
|
276 var picsize = bestPicSize(scaler, 50);
|
|
277 var src = "../servlet/Scaler?"
|
|
278 + getQueryString()
|
|
279 + "&dw=" + picsize.width
|
|
280 + "&dh=" + picsize.height;
|
|
281 // debug(src);
|
|
282 pic.src = src;
|
|
283 dl_init(); // dl_init braucht die endgültigen Maße des pic Elements
|
|
284 }
|
400
|
285
|
|
286 function display(detail) {
|
411
|
287 // redisplay the page
|
|
288 if (! detail) detail = 255;
|
|
289 var queryString = getAllParameters(detail);
|
|
290 if (reloadPage) {
|
|
291 location.href
|
|
292 = location.protocol + "//"
|
|
293 + location.host
|
|
294 + location.pathname
|
|
295 + "?" + queryString;
|
|
296 } else {
|
|
297 loadScalerImage();
|
|
298 }
|
|
299 }
|
400
|
300
|
|
301 /* **********************************************
|
|
302 * interactive digilib functions
|
|
303 * ******************************************** */
|
|
304
|
|
305 function renderMarks() {
|
|
306 // make shure the image is loaded so we know its size
|
411
|
307 if (defined(picElem.complete) && !picElem.complete && !browserType.isN4 ) {
|
|
308 setTimeout("renderMarks()", 100);
|
|
309 return;
|
400
|
310 }
|
411
|
311 // put the visible marks on the image
|
|
312 dlTrafo = parseTrafo(picElem);
|
|
313 for (var i = 0; i < dlMarks.length; i++) {
|
|
314 var div = document.getElementById("mark" + i) || createMarkDiv(i);
|
|
315 var mark = dlMarks[i];
|
|
316 if (dlArea.containsPosition(mark)) {
|
|
317 var mpos = dlTrafo.transform(mark);
|
|
318 // suboptimal to place -5 pixels and not half size of mark-image
|
|
319 // mpos.x = mpos.x -5;
|
|
320 // mpos.y = mpos.y -5;
|
|
321 moveElement(div, mpos);
|
|
322 showElement(div, true);
|
|
323 } else {
|
|
324 // hide the other marks
|
|
325 showElement(div, false);
|
|
326 }
|
400
|
327 }
|
|
328 }
|
|
329
|
|
330 function setMark(reload) {
|
|
331
|
411
|
332 function markEvent(evt) {
|
|
333 // event handler adding a new mark
|
|
334 unregisterEvent("mousedown", elemScaler, markEvent);
|
|
335 addMark(evt);
|
|
336 if ( defined(reload) && !reload ) {
|
|
337 // don't redisplay
|
|
338 renderMarks();
|
|
339 return;
|
|
340 }
|
|
341 display();
|
|
342 }
|
|
343
|
|
344 // add a mark where clicked
|
|
345 window.focus();
|
|
346 // start event capturing
|
|
347 registerEvent("mousedown", elemScaler, markEvent);
|
|
348 }
|
400
|
349
|
|
350 function removeMark(reload) {
|
|
351 // remove the last mark
|
|
352 deleteMark();
|
|
353 if (defined(reload)&&(!reload)) {
|
|
354 // don't redisplay
|
|
355 renderMarks();
|
|
356 return;
|
|
357 }
|
|
358 display();
|
|
359 }
|
|
360
|
|
361 function zoomArea() {
|
411
|
362 var pt1, pt2;
|
|
363 var zoomdiv = getElement("zoom");
|
|
364 var overlay = getElement("overlay");
|
|
365 // use overlay div to avoid <img> mousemove problems
|
|
366 moveElement(overlay, getElementRect(picElem));
|
|
367 showElement(overlay, true);
|
|
368 // start event capturing
|
|
369 registerEvent("mousedown", overlay, zoomStart);
|
|
370 window.focus();
|
400
|
371
|
411
|
372 // mousedown handler: start moving
|
|
373 function zoomStart(evt) {
|
|
374 pt1 = evtPosition(evt);
|
|
375 unregisterEvent("mousedown", overlay, zoomStart);
|
|
376 // unregisterEvent("mousedown", zoomdiv, zoomStart);
|
|
377 // setup and show zoom div
|
|
378 moveElement(zoomdiv, Rectangle(pt1.x, pt1.y, 0, 0));
|
|
379 showElement(zoomdiv, true);
|
|
380 // register move events
|
|
381 registerEvent("mousemove", overlay, zoomMove);
|
|
382 registerEvent("mousemove", zoomdiv, zoomMove);
|
|
383 // register up events for drag end
|
|
384 registerEvent("mouseup", overlay, zoomEnd);
|
|
385 registerEvent("mouseup", zoomdiv, zoomEnd);
|
|
386 return stopEvent(evt);
|
|
387 }
|
|
388
|
|
389 // mouseup handler: end moving
|
|
390 function zoomEnd(evt) {
|
|
391 pt2 = evtPosition(evt);
|
|
392 // hide zoom div
|
|
393 showElement(zoomdiv, false);
|
|
394 showElement(overlay, false);
|
|
395 // unregister move events
|
|
396 unregisterEvent("mousemove", overlay, zoomMove);
|
|
397 unregisterEvent("mousemove", zoomdiv, zoomMove);
|
|
398 // unregister drag events
|
|
399 unregisterEvent("mouseup", overlay, zoomEnd);
|
|
400 unregisterEvent("mouseup", zoomdiv, zoomEnd);
|
|
401 // calc offsets
|
|
402 var rect = getRect(
|
|
403 dlTrafo.invtransform(pt1),
|
|
404 dlTrafo.invtransform(pt2)
|
|
405 );
|
|
406 // try again if area is too small
|
|
407 if (rect.getArea() < 0.00001) return zoomArea();
|
|
408 setParameter("wx", cropFloat(rect.x));
|
|
409 setParameter("wy", cropFloat(rect.y));
|
|
410 setParameter("ww", cropFloat(rect.width));
|
|
411 setParameter("wh", cropFloat(rect.height));
|
|
412 parseArea();
|
|
413 // zoomed is always fit
|
|
414 setParameter("ws", 1);
|
|
415 display();
|
|
416 return stopEvent(evt);
|
|
417 }
|
|
418
|
|
419 // mouse move handler
|
|
420 function zoomMove(evt) {
|
|
421 pt2 = evtPosition(evt);
|
|
422 // update zoom div
|
|
423 moveElement(zoomdiv, getRect(pt1, pt2));
|
|
424 return stopEvent(evt);
|
|
425 }
|
|
426
|
|
427 // get zoom area from two points
|
|
428 function getRect(p1, p2) {
|
|
429 return new Rectangle(
|
|
430 Math.min(p1.x, p2.x),
|
|
431 Math.min(p1.y, p2.y),
|
|
432 Math.abs(p1.x - p2.x),
|
|
433 Math.abs(p1.y - p2.y)
|
|
434 );
|
|
435 }
|
400
|
436 }
|
|
437
|
|
438 function zoomBy(factor) {
|
|
439 // zooms by the given factor
|
|
440 var newarea = dlArea.copy();
|
|
441 newarea.width /= factor;
|
|
442 newarea.height /= factor;
|
|
443 newarea.x -= 0.5 * (newarea.width - dlArea.width);
|
|
444 newarea.y -= 0.5 * (newarea.height - dlArea.height);
|
|
445 newarea = dlMaxArea.fit(newarea);
|
|
446 setParamFromArea(newarea);
|
|
447 display();
|
|
448 }
|
|
449
|
|
450
|
|
451 function zoomFullpage() {
|
|
452 // zooms out to show the whole image
|
|
453 setParameter("wx", 0.0);
|
|
454 setParameter("wy", 0.0);
|
|
455 setParameter("ww", 1.0);
|
|
456 setParameter("wh", 1.0);
|
|
457 display();
|
|
458 }
|
|
459
|
|
460
|
|
461 function moveCenter() {
|
|
462 // move visible area so that it's centered around the clicked point
|
|
463 if ( (dlArea.width == 1.0) && (dlArea.height == 1.0) ) {
|
|
464 // nothing to do
|
|
465 return;
|
|
466 }
|
|
467 window.focus();
|
|
468
|
|
469 function moveCenterEvent(evt) {
|
|
470 // move to handler
|
|
471 unregisterEvent("mousedown", elemScaler, moveCenterEvent);
|
|
472 var pt = dlTrafo.invtransform(evtPosition(evt));
|
|
473 var newarea = new Rectangle(pt.x-0.5*dlArea.width, pt.y-0.5*dlArea.height, dlArea.width, dlArea.height);
|
|
474 newarea = dlMaxArea.fit(newarea);
|
|
475 // set parameters
|
|
476 setParamFromArea(newarea);
|
|
477 parseArea();
|
|
478 display();
|
|
479 }
|
|
480
|
|
481 // starting event capture
|
|
482 registerEvent("mousedown", elemScaler, moveCenterEvent);
|
|
483 }
|
|
484
|
|
485 function moveBy(movx, movy) {
|
|
486 // move visible area by movx and movy (in units of ww, wh)
|
|
487 if ((dlArea.width == 1.0)&&(dlArea.height == 1.0)) {
|
|
488 // nothing to do
|
|
489 return;
|
|
490 }
|
|
491 var newarea = dlArea.copy();
|
|
492 newarea.x += parseFloat(movx)*dlArea.width;
|
|
493 newarea.y += parseFloat(movy)*dlArea.height;
|
|
494 newarea = dlMaxArea.fit(newarea);
|
|
495 // set parameters
|
|
496 setParamFromArea(newarea);
|
|
497 parseArea();
|
|
498 display();
|
|
499 }
|
|
500
|
411
|
501 function getRef(baseURL) {
|
400
|
502 // returns a reference to the current digilib set
|
411
|
503 if (!baseUrl) baseUrl
|
|
504 = location.protocol
|
|
505 + "//"
|
|
506 + location.host
|
|
507 + location.pathname;
|
400
|
508 var hyperlinkRef = baseUrl;
|
411
|
509 var params = getAllParameters(7 + 16); // all without ddpi, pt
|
|
510 if (params.length > 0) hyperlinkRef += "?" + params;
|
|
511 return hyperlinkRef;
|
400
|
512 }
|
|
513
|
|
514 function getRefWin(type, msg) {
|
|
515 // shows an alert with a reference to the current digilib set
|
411
|
516 if (! msg) msg = "URL reference to the current view";
|
|
517 prompt(msg, getRef());
|
400
|
518 }
|
|
519
|
|
520 function getQuality() {
|
411
|
521 // returns the current q setting
|
400
|
522 for (var i = 0; i < 3; i++) {
|
411
|
523 if (hasFlag("q"+i)) return i;
|
|
524 }
|
|
525 return 1
|
400
|
526 }
|
|
527
|
|
528 function setQuality(qual) {
|
|
529 // set the image quality
|
411
|
530 for (var i = 0; i < 3; i++) removeFlag("q" + i);
|
|
531 if (qual > 2) return alert("Quality number not supported");
|
|
532 addFlag("q" + i);
|
400
|
533 setParameter("mo", getAllFlags());
|
|
534 display();
|
411
|
535 }
|
400
|
536
|
|
537 function setQualityWin(msg) {
|
|
538 // dialog for setting quality
|
411
|
539 if (! msg) msg = "Quality (0..2)";
|
400
|
540 var q = getQuality();
|
|
541 var newq = window.prompt(msg, q);
|
411
|
542 if (newq) setQuality(newq);
|
400
|
543 }
|
|
544
|
|
545 function mirror(dir) {
|
|
546 // mirror the image horizontally or vertically
|
|
547 if (dir == "h") {
|
|
548 toggleFlag("hmir");
|
|
549 } else {
|
|
550 toggleFlag("vmir");
|
|
551 }
|
|
552 setParameter("mo", getAllFlags());
|
|
553 display();
|
|
554 }
|
|
555
|
|
556 function gotoPage(gopage, keep) {
|
|
557 // goto given page nr (+/-: relative)
|
|
558 var oldpn = parseInt(getParameter("pn"));
|
|
559 setParameter("pn", gopage, true);
|
|
560 var pn = parseInt(getParameter("pn"));
|
|
561 if (pn < 1) {
|
|
562 alert("No such page! (Page number too low)");
|
|
563 setParameter("pn", oldpn);
|
|
564 return;
|
|
565 }
|
|
566 if (hasParameter("pt")) {
|
|
567 pt = parseInt(getParameter("pt"))
|
|
568 if (pn > pt) {
|
|
569 alert("No such page! (Page number too high)");
|
|
570 setParameter("pn", oldpn);
|
|
571 return;
|
|
572 }
|
|
573 }
|
|
574 if (keep) {
|
411
|
575 display(15 + 32); // all, no mark
|
400
|
576 } else {
|
411
|
577 display(3 + 32); // fn, pn, ws, mo + pt
|
400
|
578 }
|
|
579 }
|
|
580
|
|
581 function gotoPageWin() {
|
|
582 // dialog to ask for new page nr
|
|
583 var pn = getParameter("pn");
|
|
584 var gopage = window.prompt("Go to page", pn);
|
411
|
585 if (gopage) gotoPage(gopage);
|
400
|
586 }
|
|
587
|
|
588 function setParamWin(param, text, relative) {
|
|
589 // dialog to ask for new parameter value
|
|
590 var val = getParameter(param);
|
|
591 var newval = window.prompt(text, val);
|
|
592 if (newval) {
|
|
593 setParameter(param, newval, relative);
|
|
594 display();
|
|
595 }
|
|
596 }
|
|
597
|
|
598 function showOptions(show) {
|
|
599 // show or hide option div
|
|
600 var elem = getElement("dloptions");
|
|
601 showElement(elem, show);
|
411
|
602 }
|
|
603
|
|
604 function showAboutDiv(show) {
|
|
605 // show or hide "about" div
|
|
606 var elem = getElement("about");
|
|
607 if (elem == null) {
|
|
608 if (!show) return;
|
|
609 alert("About Digilib - dialog missing in HTML code!"
|
|
610 + "\nDigilib Version: " + digilibVersion
|
|
611 + "\ndlLib Version: " + dllibVersion
|
|
612 + "\nbaseLib Version: " + baseLibVersion);
|
|
613 return;
|
|
614 }
|
|
615 document.getElementById("digilib-version").innerHTML = "Digilib Version: " + digilibVersion;
|
|
616 document.getElementById("baselib-version").innerHTML = "baseLib Version: " + baseLibVersion;
|
|
617 document.getElementById("dllib-version").innerHTML = "dlLib Version: " + dllibVersion;
|
|
618 showElement(elem, show);
|
|
619 }
|