# HG changeset patch
# User robcast
# Date 1011277792 -3600
# Node ID 254fca7a21ce7951050ea5d5bc12bfa8c3476f6e
# Parent fa22d26c02d3d4eb03c955e3cabe8f1d9fbdba0d
First import of client module
diff -r fa22d26c02d3 -r 254fca7a21ce client/digitallibrary/navcat_ie.js
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/client/digitallibrary/navcat_ie.js Thu Jan 17 15:29:52 2002 +0100
@@ -0,0 +1,142 @@
+/* navcat_ie -- JS library for digilib (IE version)
+
+ Digital Image Library servlet components
+
+ Copyright (C) 2001, 2002 Christian Luginbuehl (luginbuehl@student.unibe.ch)
+
+ This program is free software; you can redistribute it and/or modify it
+ under the terms of the GNU General Public License as published by the
+ Free Software Foundation; either version 2 of the License, or (at your
+ option) any later version.
+
+ Please read license.txt for the full details. A copy of the GPL
+ may be found at http://www.gnu.org/copyleft/lgpl.html
+
+ You should have received a copy of the GNU General Public License
+ along with this program; if not, write to the Free Software
+ Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
+
+*/
+
+// these two global variables have to be initialised before the frist use of the functions below
+// to fill in the attributes you can use the function initPicture provided below
+// - array with all attributes
+var att = new Array();
+
+// - variable to store the path to the frame, in which the pictures should be created
+var whichFrame = parent.mainFrame;
+
+// give a name to the window containing digicat - this way one can test if there is already a
+// digicat-window open and replace the contents of it (ex. digilib)
+window.name = "digicat";
+
+function loadThumbTable() {
+ tableWidth = whichFrame.document.body.offsetWidth-30;
+ tableHeight = whichFrame.document.body.offsetHeight-30;
+
+ cellWidth = Math.floor(tableWidth/att[3])-9;
+ cellHeight = Math.floor(tableHeight/att[2])-6;
+
+// alert(tableWidth + " " + tableHeight + "\n" + cellWidth + " " +cellHeight);
+
+ whichFrame.document.open();
+ whichFrame.document.write('');
+ whichFrame.document.write('');
+ whichFrame.document.write('');
+
+
+ whichFrame.document.write('');
+ whichFrame.document.write('');
+ for (i = 0; i < att[2]; i++) {
+ whichFrame.document.write('');
+ for (j = 0; j < att[3]; j++) {
+ indexNr = parseInt(att[1])+i*parseInt(att[3])+j;
+ thumb = "http://" + location.host + "/docuserver/digitallibrary/servlet/Scaler/"
+ thumb += att[0] + "?" + "pn=" + indexNr + "&ws=1.0&mo=fit&dw=" + cellWidth + "&dh=" + (cellHeight-25);
+ whichFrame.document.write('');
+ whichFrame.document.write('');
+ whichFrame.document.write(' ');
+ whichFrame.document.write('
');
+ whichFrame.document.write(indexNr + ' | ');
+ }
+ whichFrame.document.write('
');
+ }
+ whichFrame.document.write('
');
+ whichFrame.document.close();
+
+ initScripts();
+}
+
+
+function Backpage() {
+
+ if (att[1] <= 1) {
+ att[1] = 1;
+ alert("You are already on the first page!");
+ }
+
+ att[1] = parseInt(att[1])-parseInt(att[2]*att[3]);
+
+ if (att[1] < 1) {
+ att[1] = 1;
+ }
+ loadThumbTable();
+}
+
+
+
+function Nextpage() {
+
+ att[1] = parseInt(att[1])+parseInt(att[2]*att[3]);
+ loadThumbTable();
+}
+
+
+// capturing keypresses for next and previous page
+function parseKeypress() {
+ e = whichFrame.event;
+
+ if (e.keyCode == 110) {
+ Nextpage();
+ }
+ if (e.keyCode == 98) {
+ Backpage();
+ }
+ whichFrame.document.cancleBubble = true;
+}
+
+
+
+// initialize browser specific things (keypress caputring)
+function initScripts() {
+ whichFrame.document.onkeypress = parseKeypress;
+ whichFrame.focus();
+}
+
+
+// fill in the values of the "att"-array
+function initPicture(picURL) {
+ att = picURL.split("+");
+
+ if (att[0].lastIndexOf("/") == att[0].length-1) {
+ att[0] = att[0].substring(0, att[0].length-1);
+ }
+
+ if (att.length < 2 || att[1] == "") {
+ att[1] = 1;
+ }
+
+ if (att.length < 3 || att[2] == "") {
+ att[2] = 3;
+ }
+
+ if (att.length < 4) {
+ att[3] = 4;
+ }
+}
diff -r fa22d26c02d3 -r 254fca7a21ce client/digitallibrary/navcat_n4.js
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/client/digitallibrary/navcat_n4.js Thu Jan 17 15:29:52 2002 +0100
@@ -0,0 +1,135 @@
+/* navcat_n4 -- JS library for digilib (Netscape4 version)
+
+ Digital Image Library servlet components
+
+ Copyright (C) 2001, 2002 Christian Luginbuehl (luginbuehl@student.unibe.ch)
+
+ This program is free software; you can redistribute it and/or modify it
+ under the terms of the GNU General Public License as published by the
+ Free Software Foundation; either version 2 of the License, or (at your
+ option) any later version.
+
+ Please read license.txt for the full details. A copy of the GPL
+ may be found at http://www.gnu.org/copyleft/lgpl.html
+
+ You should have received a copy of the GNU General Public License
+ along with this program; if not, write to the Free Software
+ Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
+
+*/
+
+// these two global variables have to be initialised before the frist use of the functions below
+// to fill in the attributes you can use the function initPicture provided below
+// - array with all attributes
+var att = new Array();
+
+// - variable to store the path to the frame, in which the pictures should be created
+var whichFrame = parent.mainFrame;
+
+// give a name to the window containing digicat - this way one can test if there is already a
+// digicat-window open and replace the contents of it (ex. digilib)
+window.name = "digicat";
+
+function loadThumbTable() {
+ tableWidth = whichFrame.innerWidth-30;
+ tableHeight = whichFrame.innerHeight-30;
+
+ cellWidth = Math.floor(tableWidth/att[3])-6;
+ cellHeight = Math.floor(tableHeight/att[2])-4;
+
+// alert(tableWidth + " " + tableHeight + "\n" + cellWidth + " " +cellHeight);
+
+ whichFrame.document.open();
+ whichFrame.document.write('');
+ whichFrame.document.write('');
+ whichFrame.document.write('');
+
+
+ whichFrame.document.write('');
+ whichFrame.document.write('');
+ for (i = 0; i < att[2]; i++) {
+ whichFrame.document.write('');
+ for (j = 0; j < att[3]; j++) {
+ indexNr = parseInt(att[1])+i*parseInt(att[3])+j;
+ thumb = "http://" + location.host + "/docuserver/digitallibrary/servlet/Scaler/"
+ thumb += att[0] + "?" + "pn=" + indexNr + "&ws=1.0&mo=fit&dw=" + cellWidth + "&dh=" + (cellHeight-25);
+ whichFrame.document.write('');
+ whichFrame.document.write('');
+ whichFrame.document.write('');
+ whichFrame.document.write('
');
+ whichFrame.document.write(indexNr + ' | ');
+ }
+ whichFrame.document.write('
');
+ }
+ whichFrame.document.write('
');
+ whichFrame.document.close();
+}
+
+
+function Backpage() {
+
+ if (att[1] <= 1) {
+ att[1] = 1;
+ alert("You are already on the first page!");
+ }
+
+ att[1] = parseInt(att[1])-parseInt(att[2]*att[3]);
+
+ if (att[1] < 1) {
+ att[1] = 1;
+ }
+ loadThumbTable();
+}
+
+
+function Nextpage() {
+
+ att[1] = parseInt(att[1])+parseInt(att[2]*att[3]);
+ loadThumbTable();
+}
+
+
+// capturing keypresses for next and previous page
+function parseKeypress(event) {
+ var whichCode = (window.Event) ? event.which : event.keyCode;
+ if (String.fromCharCode(whichCode) == "n") {
+ Nextpage();
+ }
+ if (String.fromCharCode(whichCode) == "b") {
+ Backpage();
+ }
+}
+
+
+// initialize browser specific things (keypress caputring)
+function initScripts() {
+ window.captureEvents(Event.KEYDOWN);
+ window.onkeydown = parseKeypress;
+}
+
+
+// fill in the values of the "att"-array
+function initPicture(picURL) {
+ att = picURL.split("+");
+
+ if (att[0].lastIndexOf("/") == att[0].length-1) {
+ att[0] = att[0].substring(0, att[0].length-1);
+ }
+
+ if (att.length < 2 || att[1] == "") {
+ att[1] = 1;
+ }
+ if (att.length < 3 || att[2] == "") {
+ att[2] = 3;
+ }
+
+ if (att.length < 4) {
+ att[3] = 4;
+ }
+}
diff -r fa22d26c02d3 -r 254fca7a21ce client/digitallibrary/navcat_n6.js
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/client/digitallibrary/navcat_n6.js Thu Jan 17 15:29:52 2002 +0100
@@ -0,0 +1,141 @@
+/* navcat_n6 -- JS library for digilib (Mozilla version)
+
+ Digital Image Library servlet components
+
+ Copyright (C) 2001, 2002 Christian Luginbuehl (luginbuehl@student.unibe.ch)
+
+ This program is free software; you can redistribute it and/or modify it
+ under the terms of the GNU General Public License as published by the
+ Free Software Foundation; either version 2 of the License, or (at your
+ option) any later version.
+
+ Please read license.txt for the full details. A copy of the GPL
+ may be found at http://www.gnu.org/copyleft/lgpl.html
+
+ You should have received a copy of the GNU General Public License
+ along with this program; if not, write to the Free Software
+ Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
+
+*/
+
+// these two global variables have to be initialised before the frist use of the functions below
+// to fill in the attributes you can use the function initPicture provided below
+// - array with all attributes
+var att = new Array();
+
+// - variable to store the path to the frame, in which the pictures should be created
+var whichFrame = parent.mainFrame;
+
+// give a name to the window containing digicat - this way one can test if there is already a
+// digicat-window open and replace the contents of it (ex. digilib)
+window.name = "digicat";
+
+function loadThumbTable() {
+ tableWidth = whichFrame.innerWidth-30;
+ tableHeight = whichFrame.innerHeight-30;
+
+ cellWidth = Math.floor(tableWidth/att[3])-6;
+ cellHeight = Math.floor(tableHeight/att[2])-4;
+
+// alert(tableWidth + " " + tableHeight + "\n" + cellWidth + " " +cellHeight);
+
+ whichFrame.document.open();
+ whichFrame.document.write('');
+ whichFrame.document.write('');
+ whichFrame.document.write('');
+
+
+ whichFrame.document.write('');
+ whichFrame.document.write('');
+ for (i = 0; i < att[2]; i++) {
+ whichFrame.document.write('');
+ for (j = 0; j < att[3]; j++) {
+ indexNr = parseInt(att[1])+i*parseInt(att[3])+j;
+ thumb = "http://" + location.host + "/docuserver/digitallibrary/servlet/Scaler/"
+ thumb += att[0] + "?" + "pn=" + indexNr + "&ws=1.0&mo=fit&dw=" + cellWidth + "&dh=" + (cellHeight-25);
+ whichFrame.document.write('');
+ whichFrame.document.write('');
+ whichFrame.document.write('');
+ whichFrame.document.write('
');
+ whichFrame.document.write(indexNr + ' | ');
+ }
+ whichFrame.document.write('
');
+ }
+ whichFrame.document.write('
');
+ whichFrame.document.close();
+
+ initScripts();
+}
+
+
+function Backpage() {
+
+ if (att[1] <= 1) {
+ att[1] = 1;
+ alert("You are already on the first page!");
+ }
+
+ att[1] = parseInt(att[1])-parseInt(att[2]*att[3]);
+
+ if (att[1] < 1) {
+ att[1] = 1;
+ }
+ loadThumbTable();
+}
+
+
+
+function Nextpage() {
+
+ att[1] = parseInt(att[1])+parseInt(att[2]*att[3]);
+ loadThumbTable();
+}
+
+
+// capturing keypresses for next and previous page
+// ascii-values of n = 110, b = 98
+function parseKeypress (event) {
+ if (event.charCode == 110) {
+ Nextpage();
+ }
+ if (event.charCode == 98) {
+ Backpage();
+ }
+}
+
+
+// initialize browser specific things (keypress caputring)
+function initScripts() {
+ for (var f = 0; f < frames.length; f++) {
+ frames[f].document.addEventListener('keypress', parseKeypress, true);
+ }
+ whichFrame.focus();
+}
+
+
+// fill in the values of the "att"-array
+function initPicture(picURL) {
+ att = picURL.split("+");
+
+ if (att[0].lastIndexOf("/") == att[0].length-1) {
+ att[0] = att[0].substring(0, att[0].length-1);
+ }
+
+ if (att.length < 2 || att[1] == "") {
+ att[1] = 1;
+ }
+
+ if (att.length < 3 || att[2] == "") {
+ att[2] = 3;
+ }
+
+ if (att.length < 4) {
+ att[3] = 4;
+ }
+}
diff -r fa22d26c02d3 -r 254fca7a21ce client/digitallibrary/navigation.html
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/client/digitallibrary/navigation.html Thu Jan 17 15:29:52 2002 +0100
@@ -0,0 +1,105 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
diff -r fa22d26c02d3 -r 254fca7a21ce client/digitallibrary/navigation_ie.js
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/client/digitallibrary/navigation_ie.js Thu Jan 17 15:29:52 2002 +0100
@@ -0,0 +1,472 @@
+/* navigation_ie -- JS library for digilib (IE version)
+
+ Digital Image Library servlet components
+
+ Copyright (C) 2001, 2002 Christian Luginbuehl (luginbuehl@student.unibe.ch)
+
+ This program is free software; you can redistribute it and/or modify it
+ under the terms of the GNU General Public License as published by the
+ Free Software Foundation; either version 2 of the License, or (at your
+ option) any later version.
+
+ Please read license.txt for the full details. A copy of the GPL
+ may be found at http://www.gnu.org/copyleft/lgpl.html
+
+ You should have received a copy of the GNU General Public License
+ along with this program; if not, write to the Free Software
+ Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
+
+*/
+
+// these two global variables have to be initialised before the frist use of the functions below
+// to fill in the attributes you can use the function initPicture provided below
+// - array with all attributes
+var att = new Array();
+
+// - variable to store the path to the frame, in which the pictures should be created
+var whichFrame = parent.mainFrame;
+
+// give a name to the window containing digilib - this way one can test if there is already a
+// digilib-window open and replace the contents of it (ex. digicat)
+window.name = "digilib";
+
+// function that launches the ScaleServlet
+// the different detailGrades:
+// 0 -> back, next, page
+// 1 -> zoomout
+// 2 -> zoomarea, zoompoint, moveto, scaledef
+
+function loadPicture(detailGrade, keepArea) {
+
+// alert("wx: " + att[5] + "\tww: " + att[7] + "\nwy: " + att[6] + "\twh: " + att[8]);
+
+ // sorry about that, but IE needs to have a document body to calc the frames width and height
+ whichFrame.document.open();
+ whichFrame.document.write('');
+
+ var newPicture = "http://" + location.host + "/docuserver/digitallibrary/servlet/Scaler/"
+ newPicture += att[0] + "?" + "pn=" + att[1] + "&ws=" + att[2];
+ newPicture += "&dw=" + (whichFrame.document.body.clientWidth-30) + "&dh=" + (whichFrame.document.body.clientHeight-30);
+ newPicture += "&mo=" + att[3];
+
+ if (detailGrade == 0) {
+ att[4] = "0/0";
+ }
+
+ if ((detailGrade == 1) || (detailGrade == 0 && !keepArea)) {
+ att[5] = 0;
+ att[6] = 0;
+ att[7] = 1;
+ att[8] = 1;
+ }
+ newPicture += "&wx=" + att[5] + "&wy=" + att[6] + "&ww=" + att[7] + "&wh=" + att[8];
+
+ whichFrame.document.write('');
+ whichFrame.document.write('');
+ whichFrame.document.write('');
+ whichFrame.document.write('');
+ whichFrame.document.write('');
+ whichFrame.document.write('');
+ whichFrame.document.write('');
+ whichFrame.document.write('');
+ whichFrame.document.write('');
+ whichFrame.document.write('');
+ whichFrame.document.write('');
+ whichFrame.document.write('');
+ whichFrame.document.write('');
+
+ whichFrame.document.write('');
+
+ whichFrame.document.close();
+
+ initScripts();
+
+ pageInfo();
+
+ setmark();
+}
+
+
+function Backpage(keepArea) {
+
+ att[1] = parseInt(att[1]) - 1;
+
+ if (att[1] > 0) {
+ loadPicture(0, keepArea);
+ } else {
+ att[1] = parseInt(att[1]) + 1;
+ alert("You are already on the first page!");
+ }
+}
+
+
+function Nextpage(keepArea) {
+
+ att[1] = parseInt(att[1]) + 1;
+
+ if (att[1] <= parent.numPages) {
+ loadPicture(0, keepArea);
+ } else {
+ att[1] = parseInt(att[1]) - 1;
+ alert("You are already on the last page!");
+ }
+}
+
+
+function Page(keepArea) {
+
+ do {
+ page = prompt("Goto Page (1 - " + parent.numPages + "):", 1);
+ } while ((page != null) && ((page < 1) || (page > parent.numPages)));
+
+ if (page != null && page != att[1]) {
+ att[1] = page;
+ loadPicture(0, keepArea);
+ }
+}
+
+
+function Digicat() {
+ var url = "http://" + location.host + "/docuserver/digitallibrary/digicat.html?" + att[0] + "+" + att[1];
+ win = window.open(url, "digicat");
+ win.focus();
+}
+
+
+function Ref(refselect) {
+
+ var hyperlinkRef = "http://" + location.host + "/docuserver/digitallibrary/digilib.jsp?";
+ hyperlinkRef += att[0] + "+" + att[1] + "+" + att[2] + "+" + att[3] + "+" + att[4];
+
+ if ((att[5] != 0) || (att[6] != 0) || (att[7] != 1) || (att[8] != 1)) {
+ hyperlinkRef += "+" + att[5] + "+" + att[6] + "+" + att[7] + "+" + att[8];
+ }
+
+ if (refselect == 1) {
+ prompt("Link for HTML--documents", hyperlinkRef);
+ } else {
+ prompt("Link for LaTeX--documents", "\\href{" + hyperlinkRef + "}{TEXT}");
+ }
+}
+
+
+function Mark(refselect) {
+
+ if (att[4].split(";").length > 7) {
+ alert("Only 8 marks are possible at the moment!");
+ return;
+ }
+
+ whichFrame.document.all.lay1.onmousedown = function() {
+ e = whichFrame.event;
+
+ if ((att[4] != "") && (att[4] != "0/0")) {
+ att[4] += ";";
+ } else {
+ att[4] = "";
+ }
+
+ markX = cropFloat(att[5]+att[7]*(whichFrame.document.body.scrollLeft+e.x-parseInt(whichFrame.document.all.lay1.style.left))/whichFrame.document.all.lay1.offsetWidth);
+ markY = cropFloat(att[6]+att[8]*(whichFrame.document.body.scrollTop+e.y-parseInt(whichFrame.document.all.lay1.style.top))/whichFrame.document.all.lay1.offsetHeight);
+
+ att[4] += markX + "/" + markY;
+
+ whichFrame.document.all.lay1.cancleBubble = true;
+
+ setmark();
+ }
+}
+
+
+function Zoomrect() {
+ var state = 0;
+ var x1, y1, x2, y2;
+
+ function Click() {
+ e = whichFrame.event;
+
+ if (state == 0) {
+ state = 1;
+
+ x1 = whichFrame.document.body.scrollLeft+e.x;
+ y1 = whichFrame.document.body.scrollTop+e.y;
+ x2 = x1;
+ y2 = y1;
+
+ whichFrame.document.all.eck1.style.left = x1;
+ whichFrame.document.all.eck1.style.top = y1;
+ whichFrame.document.all.eck2.style.left = x2-12;
+ whichFrame.document.all.eck2.style.top = y1;
+ whichFrame.document.all.eck3.style.left = x1;
+ whichFrame.document.all.eck3.style.top = y2-12;
+ whichFrame.document.all.eck4.style.left = x2-12;
+ whichFrame.document.all.eck4.style.top = y2-12;
+
+ whichFrame.document.all.eck1.style.visibility="visible";
+ whichFrame.document.all.eck2.style.visibility="visible";
+ whichFrame.document.all.eck3.style.visibility="visible";
+ whichFrame.document.all.eck4.style.visibility="visible";
+
+ whichFrame.document.all.lay1.onmousemove = Move;
+ whichFrame.document.all.eck4.onmousemove = Move;
+
+ } else {
+
+ x1 -= parseInt(whichFrame.document.all.lay1.style.left);
+ y1 -= parseInt(whichFrame.document.all.lay1.style.top);
+
+ x2 = whichFrame.document.body.scrollLeft+e.x-parseInt(whichFrame.document.all.lay1.style.left);
+ y2 = whichFrame.document.body.scrollTop+e.y-parseInt(whichFrame.document.all.lay1.style.left);
+
+ whichFrame.document.all.eck1.visibility="hidden";
+ whichFrame.document.all.eck2.visibility="hidden";
+ whichFrame.document.all.eck3.visibility="hidden";
+ whichFrame.document.all.eck4.visibility="hidden";
+
+ whichFrame.document.all.lay1.cancleBubble = true;
+ whichFrame.document.all.eck4.cancleBubble = true;
+
+ att[5] = cropFloat(att[5]+att[7]*((x1 < x2) ? x1 : x2)/whichFrame.document.all.lay1.offsetWidth);
+ att[6] = cropFloat(att[6]+att[8]*((y1 < y2) ? y1 : y2)/whichFrame.document.all.lay1.offsetHeight);
+
+ att[7] = cropFloat(att[7]*Math.abs(x1-x2)/whichFrame.document.all.lay1.offsetWidth);
+ att[8] = cropFloat(att[8]*Math.abs(y1-y2)/whichFrame.document.all.lay1.offsetHeight);
+
+ if (att[7] != 0 && att[8] != 0) {
+ loadPicture(2);
+ }
+ }
+ }
+
+ function Move() {
+ e = whichFrame.event;
+
+ x2 = whichFrame.document.body.scrollLeft+e.x;
+ y2 = whichFrame.document.body.scrollTop+e.y;
+
+ whichFrame.document.all.eck1.style.left = ((x1 < x2) ? x1 : x2);
+ whichFrame.document.all.eck1.style.top = ((y1 < y2) ? y1 : y2);
+ whichFrame.document.all.eck2.style.left = ((x1 < x2) ? x2 : x1)-12;
+ whichFrame.document.all.eck2.style.top = ((y1 < y2) ? y1 : y2);
+ whichFrame.document.all.eck3.style.left = ((x1 < x2) ? x1 : x2);
+ whichFrame.document.all.eck3.style.top = ((y1 < y2) ? y2 : y1)-12;
+ whichFrame.document.all.eck4.style.left = ((x1 < x2) ? x2 : x1)-12;
+ whichFrame.document.all.eck4.style.top = ((y1 < y2) ? y2 : y1)-12;
+ }
+
+ whichFrame.document.all.lay1.onmousedown = Click;
+ whichFrame.document.all.eck4.onmousedown = Click;
+}
+
+
+function Zoomin() {
+
+ whichFrame.document.all.lay1.onmousedown = function() {
+ e = whichFrame.event;
+
+ att[5] = cropFloat(att[5]+att[7]*(whichFrame.document.body.scrollLeft+e.x-parseInt(whichFrame.document.all.lay1.style.left))/whichFrame.document.all.lay1.offsetWidth-0.5*att[7]*0.7);
+ att[6] = cropFloat(att[6]+att[8]*(whichFrame.document.body.scrollTop+e.y-parseInt(whichFrame.document.all.lay1.style.top))/whichFrame.document.all.lay1.offsetHeight-0.5*att[8]*0.7);
+
+ att[7] = cropFloat(att[7]*0.7);
+ att[8] = cropFloat(att[8]*0.7);
+
+ if (att[5] < 0) {
+ att[5] = 0;
+ }
+ if (att[6] < 0) {
+ att[6] = 0;
+ }
+ if (att[5]+att[7] > 1) {
+ att[5] = 1-att[7];
+ }
+ if (att[6]+att[8] > 1) {
+ att[6] = 1-att[8];
+ }
+
+ whichFrame.document.all.lay1.cancleBubble = true;
+
+ loadPicture(2);
+ }
+}
+
+
+function Zoomout() {
+ loadPicture(1);
+}
+
+
+function Moveto() {
+
+ whichFrame.document.all.lay1.onmousedown = function() {
+ e = whichFrame.event;
+
+ att[5] = cropFloat(att[5]+att[7]*(whichFrame.document.body.scrollLeft+e.x-parseInt(whichFrame.document.all.lay1.style.left))/whichFrame.document.all.lay1.offsetWidth-0.5*att[7]);
+ att[6] = cropFloat(att[6]+att[8]*(whichFrame.document.body.scrollTop+e.y-parseInt(whichFrame.document.all.lay1.style.top))/whichFrame.document.all.lay1.offsetHeight-0.5*att[8]);
+
+ if (att[5] < 0) {
+ att[5] = 0;
+ }
+ if (att[6] < 0) {
+ att[6] = 0;
+ }
+ if (att[5]+att[7] > 1) {
+ att[5] = 1-att[7];
+ }
+ if (att[6]+att[8] > 1) {
+ att[6] = 1-att[8];
+ }
+
+ whichFrame.document.all.lay1.cancleBubble = true;
+
+ loadPicture(2);
+ }
+}
+
+
+function Scaledef(scaledef) {
+
+ att[2] = scaledef;
+ loadPicture(2);
+}
+
+
+function setmark() {
+ if ((att[4] != "") && (att[4] != "0/0")) {
+ var mark = att[4].split(";");
+
+ var countMarks = mark.length;
+
+ // maximum of marks is 8
+ // we do not report this error because this is already done in func. "Mark"
+ if (countMarks > 8) countMarks = 8;
+
+ var picWidth = whichFrame.document.all.lay1.offsetWidth;
+ var picHeight = whichFrame.document.all.lay1.offsetHeight;
+
+ // catch the cases where the picture had not been loaded already and
+ // make a timeout so that the coordinates are calculated with the real dimensions
+ if (picWidth > 30) {
+
+ var xoffset = parseInt(whichFrame.document.all.lay1.style.left);
+ var yoffset = parseInt(whichFrame.document.all.lay1.style.top);
+
+ for (var i = 0; i < countMarks; i++) {
+ mark[i] = mark[i].split("/");
+
+ 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]))) {
+
+ mark[i][0] = parseInt(xoffset+picWidth*(mark[i][0]-att[5])/att[7]);
+ mark[i][1] = parseInt(yoffset+picHeight*(mark[i][1]-att[6])/att[8]);
+
+ whichFrame.document.getElementById("dot" + i).style.left = mark[i][0]-5;
+ whichFrame.document.getElementById("dot" + i).style.top = mark[i][1]-5;
+ whichFrame.document.getElementById("dot" + i).style.visibility = "visible";
+ }
+ }
+ } else {
+ setTimeout("setmark()", 100);
+ }
+ }
+}
+
+
+// capturing keypresses for next and previous page
+function parseKeypress() {
+ e = whichFrame.event;
+
+ if (e.keyCode == 110) {
+ Nextpage();
+ }
+ if (e.keyCode == 98) {
+ Backpage();
+ }
+ whichFrame.document.cancleBubble = true;
+}
+
+
+// auxiliary function to crop senseless precicsion
+function cropFloat(tmp) {
+ return parseInt(10000*tmp)/10000;
+}
+
+
+// initialize browser specific things (keypress caputring)
+function initScripts() {
+ whichFrame.document.onkeypress = parseKeypress;
+ whichFrame.focus();
+}
+
+
+// fill in the values of the "att"-array
+function initPicture(picURL) {
+ att = picURL.split("+");
+
+ if (att[0].lastIndexOf("/") == att[0].length-1) {
+ att[0] = att[0].substring(0, att[0].length-1);
+ }
+
+ if (att.length < 2 || att[1] == "") {
+ att[1] = 1;
+ }
+ if (att.length < 3 || att[2] == "") {
+ att[2] = "1.0";
+ }
+
+ if (att.length < 4) {
+ att[3] = "";
+ }
+
+ if (att[3].indexOf("f") > -1) {
+ att[3] = "fit";
+ }
+
+ if (att.length < 5 || att[4] == "") {
+ att[4] = "0/0";
+ }
+
+ // converts the old mark format (0-1000) to new format(0.0 - 1.0)
+ if (att[4] != "0/0") {
+ var tmp = att[4].split(";");
+
+ att[4] = "";
+
+ for (i = 0; i < tmp.length; i++) {
+ tmp[i] = tmp[i].split("/");
+
+ if (tmp[i][0] > 1 && tmp[i][1] > 1) {
+ tmp[i][0] /= 1000;
+ tmp[i][1] /= 1000;
+ }
+
+ att[4] += tmp[i][0] + "/" + tmp[i][1] + ";";
+ }
+ att[4] = att[4].slice(0, -1);
+ }
+
+ if (att.length < 7) {
+ att[5] = 0;
+ att[6] = 0;
+ att[7] = 1;
+ att[8] = 1;
+ } else {
+ att[5] = parseFloat(att[5]);
+ att[6] = parseFloat(att[6]);
+ att[7] = parseFloat(att[7]);
+ att[8] = parseFloat(att[8]);
+ }
+}
+
+
+function pageInfo() {
+
+ // bug in netscape 4.xx (confunding px and pt)
+ var fontsize = document.layers ? "11pt" : "11px";
+
+ if (window.pageFrame) {
+ pageFrame.document.open();
+ pageFrame.document.write('');
+ pageFrame.document.write('');
+ pageFrame.document.write(att[1] + ' of ' + numPages + '
');
+ pageFrame.document.close();
+ }
+}
diff -r fa22d26c02d3 -r 254fca7a21ce client/digitallibrary/navigation_n4.js
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/client/digitallibrary/navigation_n4.js Thu Jan 17 15:29:52 2002 +0100
@@ -0,0 +1,450 @@
+/* navigation_ie -- JS library for digilib (Netscape4 version)
+
+ Digital Image Library servlet components
+
+ Copyright (C) 2001, 2002 Christian Luginbuehl (luginbuehl@student.unibe.ch)
+
+ This program is free software; you can redistribute it and/or modify it
+ under the terms of the GNU General Public License as published by the
+ Free Software Foundation; either version 2 of the License, or (at your
+ option) any later version.
+
+ Please read license.txt for the full details. A copy of the GPL
+ may be found at http://www.gnu.org/copyleft/lgpl.html
+
+ You should have received a copy of the GNU General Public License
+ along with this program; if not, write to the Free Software
+ Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
+
+*/
+
+// these two global variables have to be initialised before the frist use of the functions below
+// to fill in the attributes you can use the function initPicture provided below
+// - array with all attributes
+var att = new Array();
+
+// - variable to store the path to the frame, in which the pictures should be created
+var whichFrame = parent.mainFrame;
+
+// give a name to the window containing digilib - this way one can test if there is already a
+// digilib-window open and replace the contents of it (ex. digicat)
+window.name = "digilib";
+
+// function that launches the ScaleServlet
+// the different detailGrades:
+// 0 -> back, next, page
+// 1 -> zoomout
+// 2 -> zoomarea, zoompoint, moveto, scaledef
+
+function loadPicture(detailGrade, keepArea) {
+
+// alert("wx: " + att[5] + "\tww: " + att[7] + "\nwy: " + att[6] + "\twh: " + att[8]);
+
+ var newPicture = "http://" + location.host + "/docuserver/digitallibrary/servlet/Scaler/"
+ newPicture += att[0] + "?" + "pn=" + att[1] + "&ws=" + att[2];
+ newPicture += "&dw=" + (whichFrame.innerWidth-30) + "&dh=" + (whichFrame.innerHeight-30);
+ newPicture += "&mo=" + att[3];
+
+ if (detailGrade == 0) {
+ att[4] = "0/0";
+ }
+
+ if ((detailGrade == 1) || (detailGrade == 0 && !keepArea)) {
+ att[5] = 0;
+ att[6] = 0;
+ att[7] = 1;
+ att[8] = 1;
+ }
+ newPicture += "&wx=" + att[5] + "&wy=" + att[6] + "&ww=" + att[7] + "&wh=" + att[8];
+
+ whichFrame.document.open();
+
+ whichFrame.document.write('');
+ whichFrame.document.write('');
+ whichFrame.document.write('');
+ whichFrame.document.write('');
+ whichFrame.document.write('');
+ whichFrame.document.write('');
+ whichFrame.document.write('');
+ whichFrame.document.write('');
+ whichFrame.document.write('');
+ whichFrame.document.write('');
+ whichFrame.document.write('');
+ whichFrame.document.write('');
+ whichFrame.document.write('');
+ whichFrame.document.write('');
+ whichFrame.document.write('');
+
+ whichFrame.document.close();
+
+ pageInfo();
+
+ setmark();
+}
+
+
+function Backpage(keepArea) {
+
+ att[1] = parseInt(att[1]) - 1;
+
+ if (att[1] > 0) {
+ loadPicture(0, keepArea);
+ } else {
+ att[1] = parseInt(att[1]) + 1;
+ alert("You are already on the first page!");
+ }
+}
+
+
+function Nextpage(keepArea) {
+
+ att[1] = parseInt(att[1]) + 1;
+
+ if (att[1] <= parent.numPages) {
+ loadPicture(0, keepArea);
+ } else {
+ att[1] = parseInt(att[1]) - 1;
+ alert("You are already on the last page!");
+ }
+}
+
+
+function Page(keepArea) {
+
+ do {
+ page = prompt("Goto Page (1 - " + parent.numPages + "):", 1);
+ } while ((page != null) && ((page < 1) || (page > parent.numPages)));
+
+ if (page != null && page != att[1]) {
+ att[1] = page;
+ loadPicture(0, keepArea);
+ }
+}
+
+
+function Digicat() {
+ var url = "http://" + location.host + "/docuserver/digitallibrary/digicat.html?" + att[0] + "+" + att[1];
+ win = window.open(url, "digicat");
+ win.focus();
+}
+
+
+function Ref(refselect) {
+
+ var hyperlinkRef = "http://" + location.host + "/docuserver/digitallibrary/digilib.jsp?";
+ hyperlinkRef += att[0] + "+" + att[1] + "+" + att[2] + "+" + att[3] + "+" + att[4];
+
+ if ((att[5] != 0) || (att[6] != 0) || (att[7] != 1) || (att[8] != 1)) {
+ hyperlinkRef += "+" + att[5] + "+" + att[6] + "+" + att[7] + "+" + att[8];
+ }
+
+ if (refselect == 1) {
+ prompt("Link for HTML--documents", hyperlinkRef);
+ } else {
+ prompt("Link for LaTeX--documents", "\\href{" + hyperlinkRef + "}{TEXT}");
+ }
+}
+
+
+function Mark(refselect) {
+
+ if (att[4].split(";").length > 7) {
+ alert("Only 8 marks are possible at the moment!");
+ return;
+ }
+
+ whichFrame.document.lay1.captureEvents(Event.MOUSEDOWN);
+ whichFrame.document.lay1.onmousedown = function(event) {
+
+ if ((att[4] != "") && (att[4] != "0/0")) {
+ att[4] += ";";
+ } else {
+ att[4] = "";
+ }
+
+ var markX = cropFloat(att[5]+(att[7]*event.x/whichFrame.document.lay1.clip.width));
+ var markY = cropFloat(att[6]+(att[8]*event.y/whichFrame.document.lay1.clip.height));
+
+ att[4] += markX + "/" + markY;
+
+ whichFrame.document.lay1.releaseEvents(Event.MOUSEDOWN);
+ setmark();
+ }
+}
+
+
+function Zoomrect() {
+ var state = 0;
+ var x1, y1, x2, y2;
+
+ function Click(event) {
+
+ if (state == 0) {
+ state = 1;
+
+ x1 = event.pageX;
+ y1 = event.pageY;
+ x2 = x1;
+ y2 = y1;
+
+ whichFrame.document.eck1.moveTo(((x1 < x2) ? x1 : x2), ((y1 < y2) ? y1 : y2));
+ whichFrame.document.eck2.moveTo(((x1 < x2) ? x2 : x1)-12, ((y1 < y2) ? y1 : y2));
+ whichFrame.document.eck3.moveTo(((x1 < x2) ? x1 : x2), ((y1 < y2) ? y2 : y1)-12);
+ whichFrame.document.eck4.moveTo(((x1 < x2) ? x2 : x1)-12, ((y1 < y2) ? y2 : y1)-12);
+
+ whichFrame.document.eck1.visibility="show";
+ whichFrame.document.eck2.visibility="show";
+ whichFrame.document.eck3.visibility="show";
+ whichFrame.document.eck4.visibility="show";
+
+ whichFrame.document.lay1.captureEvents(Event.MOUSEMOVE);
+ whichFrame.document.eck4.captureEvents(Event.MOUSEMOVE);
+
+ whichFrame.document.lay1.onmousemove = Move;
+ whichFrame.document.eck4.onmousemove = Move;
+
+ } else {
+
+ x1 -= whichFrame.document.lay1.x;
+ y1 -= whichFrame.document.lay1.y;
+
+ x2 = event.pageX-whichFrame.document.lay1.x;
+ y2 = event.pageY-whichFrame.document.lay1.y;
+
+ whichFrame.document.lay1.releaseEvents(Event.MOUSEDOWN | Event.MOUSEMOVE);
+ whichFrame.document.eck4.releaseEvents(Event.MOUSEDOWN | Event.MOUSEMOVE);
+
+ whichFrame.document.eck1.visibility="hide";
+ whichFrame.document.eck2.visibility="hide";
+ whichFrame.document.eck3.visibility="hide";
+ whichFrame.document.eck4.visibility="hide";
+
+ att[5] = cropFloat(att[5]+att[7]*((x1 < x2) ? x1 : x2)/whichFrame.document.lay1.clip.width);
+ att[6] = cropFloat(att[6]+att[8]*((y1 < y2) ? y1 : y2)/whichFrame.document.lay1.clip.height);
+
+ att[7] = cropFloat(att[7]*Math.abs(x1-x2)/whichFrame.document.lay1.clip.width);
+ att[8] = cropFloat(att[8]*Math.abs(y1-y2)/whichFrame.document.lay1.clip.height);
+
+ if (att[7] != 0 && att[8] != 0) {
+ loadPicture(2);
+ }
+ }
+ }
+
+ function Move(event) {
+
+ x2 = event.pageX;
+ y2 = event.pageY;
+
+ whichFrame.document.eck1.moveTo(((x1 < x2) ? x1 : x2), ((y1 < y2) ? y1 : y2));
+ whichFrame.document.eck2.moveTo(((x1 < x2) ? x2 : x1)-12, ((y1 < y2) ? y1 : y2));
+ whichFrame.document.eck3.moveTo(((x1 < x2) ? x1 : x2), ((y1 < y2) ? y2 : y1)-12);
+ whichFrame.document.eck4.moveTo(((x1 < x2) ? x2 : x1)-12, ((y1 < y2) ? y2 : y1)-12);
+ }
+
+ whichFrame.document.lay1.captureEvents(Event.MOUSEDOWN);
+ whichFrame.document.eck4.captureEvents(Event.MOUSEDOWN);
+
+ whichFrame.document.lay1.onmousedown = Click;
+ whichFrame.document.eck4.onmousedown = Click;
+}
+
+
+function Zoomin() {
+
+ whichFrame.document.lay1.captureEvents(Event.MOUSEDOWN);
+ whichFrame.document.lay1.onmousedown = function(event) {
+
+ att[5] = cropFloat(att[5]+(att[7]*event.x/whichFrame.document.lay1.clip.width-0.5*att[7]*0.7));
+ att[6] = cropFloat(att[6]+(att[8]*event.y/whichFrame.document.lay1.clip.height-0.5*att[8]*0.7));
+
+ att[7] = cropFloat(att[7]*0.7);
+ att[8] = cropFloat(att[8]*0.7);
+
+ if (att[5] < 0) {
+ att[5] = 0;
+ }
+ if (att[6] < 0) {
+ att[6] = 0;
+ }
+ if (att[5]+att[7] > 1) {
+ att[5] = 1-att[7];
+ }
+ if (att[6]+att[8] > 1) {
+ att[6] = 1-att[8];
+ }
+
+ releaseEvents(Event.MOUSEDOWN);
+
+ loadPicture(2);
+ }
+}
+
+
+function Zoomout() {
+ loadPicture(1);
+}
+
+
+function Moveto() {
+
+ whichFrame.document.lay1.captureEvents(Event.MOUSEDOWN);
+ whichFrame.document.lay1.onmousedown = function(event) {
+
+ att[5] = cropFloat(att[5]+(att[7]*event.x/whichFrame.document.lay1.clip.width-0.5*att[7]));
+ att[6] = cropFloat(att[6]+(att[8]*event.y/whichFrame.document.lay1.clip.height-0.5*att[8]));
+
+ if (att[5] < 0) {
+ att[5] = 0;
+ }
+ if (att[6] < 0) {
+ att[6] = 0;
+ }
+ if (att[5]+att[7] > 1) {
+ att[5] = 1-att[7];
+ }
+ if (att[6]+att[8] > 1) {
+ att[6] = 1-att[8];
+ }
+
+ releaseEvents(Event.MOUSEDOWN);
+
+ loadPicture(2);
+ }
+}
+
+
+function Scaledef(scaledef) {
+
+ att[2] = scaledef;
+ loadPicture(2);
+}
+
+
+function setmark() {
+ if ((att[4] != "") && (att[4] != "0/0")) {
+ var mark = att[4].split(";");
+
+ var countMarks = mark.length;
+
+ // maximum of marks is 8
+ // we do not report this error because this is already done in func. "Mark"
+ if (countMarks > 8) countMarks = 8;
+
+ var picWidth = whichFrame.document.lay1.clip.width;
+ var picHeight = whichFrame.document.lay1.clip.height;
+
+ for (var i = 0; i < countMarks; i++) {
+ mark[i] = mark[i].split("/");
+
+ 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]))) {
+
+ mark[i][0] = parseInt(whichFrame.document.lay1.x + (picWidth*(mark[i][0]-att[5]))/att[7]);
+ mark[i][1] = parseInt(whichFrame.document.lay1.y + (picHeight*(mark[i][1]-att[6]))/att[8]);
+
+ whichFrame.document.layers[i+1].moveTo(mark[i][0]-5, mark[i][1]-5);
+ whichFrame.document.layers[i+1].visibility = "show";
+ }
+ }
+ }
+}
+
+
+// capturing keypresses for next and previous page
+function parseKeypress(event) {
+ var whichCode = (window.Event) ? event.which : event.keyCode;
+ if (String.fromCharCode(whichCode) == "n") {
+ Nextpage();
+ }
+ if (String.fromCharCode(whichCode) == "b") {
+ Backpage();
+ }
+}
+
+
+// auxiliary function to crop senseless precicsion
+function cropFloat(tmp) {
+ return parseInt(10000*tmp)/10000;
+}
+
+
+// initialize browser specific things (keypress caputring)
+function initScripts() {
+ window.captureEvents(Event.KEYDOWN);
+ window.onkeydown = parseKeypress;
+}
+
+
+// fill in the values of the "att"-array
+function initPicture(picURL) {
+ att = picURL.split("+");
+
+ if (att[0].lastIndexOf("/") == att[0].length-1) {
+ att[0] = att[0].substring(0, att[0].length-1);
+ }
+
+ if (att.length < 2 || att[1] == "") {
+ att[1] = 1;
+ }
+ if (att.length < 3 || att[2] == "") {
+ att[2] = "1.0";
+ }
+
+ if (att.length < 4) {
+ att[3] = "";
+ }
+
+ if (att[3].indexOf("f") > -1) {
+ att[3] = "fit";
+ }
+
+ if (att.length < 5 || att[4] == "") {
+ att[4] = "0/0";
+ }
+
+ // converts the old mark format (0-1000) to new format(0.0 - 1.0)
+ if (att[4] != "0/0") {
+ var tmp = att[4].split(";");
+
+ att[4] = "";
+
+ for (i = 0; i < tmp.length; i++) {
+ tmp[i] = tmp[i].split("/");
+
+ if (tmp[i][0] > 1 && tmp[i][1] > 1) {
+ tmp[i][0] /= 1000;
+ tmp[i][1] /= 1000;
+ }
+
+ att[4] += tmp[i][0] + "/" + tmp[i][1] + ";";
+ }
+ att[4] = att[4].slice(0, -1);
+ }
+
+ if (att.length < 7) {
+ att[5] = 0;
+ att[6] = 0;
+ att[7] = 1;
+ att[8] = 1;
+ } else {
+ att[5] = parseFloat(att[5]);
+ att[6] = parseFloat(att[6]);
+ att[7] = parseFloat(att[7]);
+ att[8] = parseFloat(att[8]);
+ }
+}
+
+function pageInfo() {
+
+ // bug in netscape 4.xx (confunding px and pt)
+ var fontsize = document.layers ? "11pt" : "11px";
+
+ if (window.pageFrame) {
+ pageFrame.document.open();
+ pageFrame.document.write('');
+ pageFrame.document.write('');
+ pageFrame.document.write(att[1] + ' of ' + numPages + '
');
+ pageFrame.document.close();
+ }
+}
+
diff -r fa22d26c02d3 -r 254fca7a21ce client/digitallibrary/navigation_n6.js
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/client/digitallibrary/navigation_n6.js Thu Jan 17 15:29:52 2002 +0100
@@ -0,0 +1,479 @@
+/* navigation_ie -- JS library for digilib (Mozilla version)
+
+ Digital Image Library servlet components
+
+ Copyright (C) 2001, 2002 Christian Luginbuehl (luginbuehl@student.unibe.ch)
+
+ This program is free software; you can redistribute it and/or modify it
+ under the terms of the GNU General Public License as published by the
+ Free Software Foundation; either version 2 of the License, or (at your
+ option) any later version.
+
+ Please read license.txt for the full details. A copy of the GPL
+ may be found at http://www.gnu.org/copyleft/lgpl.html
+
+ You should have received a copy of the GNU General Public License
+ along with this program; if not, write to the Free Software
+ Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
+
+*/
+
+// these two global variables have to be initialised before the frist use of the functions below
+// to fill in the attributes you can use the function initPicture provided below
+// - array with all attributes
+var att = new Array();
+
+// - variable to store the path to the frame, in which the pictures should be created
+var whichFrame = parent.mainFrame;
+
+// give a name to the window containing digilib - this way one can test if there is already a
+// digilib-window open and replace the contents of it (ex. digicat)
+window.name = "digilib";
+
+// function that launches the ScaleServlet
+// the different detailGrades:
+// 0 -> back, next, page
+// 1 -> zoomout
+// 2 -> zoomarea, zoompoint, moveto, scaledef
+
+function loadPicture(detailGrade, keepArea) {
+
+// alert("wx: " + att[5] + "\tww: " + att[7] + "\nwy: " + att[6] + "\twh: " + att[8]);
+
+ // sorry about that, but Mozilla needs to have a document body to calc the frames width and height
+ whichFrame.document.open();
+ whichFrame.document.write('');
+
+// alert(whichFrame.innerWidth);
+
+ var newPicture = "http://" + location.host + "/docuserver/digitallibrary/servlet/Scaler/"
+ newPicture += att[0] + "?" + "pn=" + att[1] + "&ws=" + att[2];
+ newPicture += "&dw=" + (whichFrame.innerWidth-30) + "&dh=" + (whichFrame.innerHeight-30);
+ newPicture += "&mo=" + att[3];
+
+ if (detailGrade == 0) {
+ att[4] = "0/0";
+ }
+
+ if ((detailGrade == 1) || (detailGrade == 0 && !keepArea)) {
+ att[5] = 0;
+ att[6] = 0;
+ att[7] = 1;
+ att[8] = 1;
+ }
+ newPicture += "&wx=" + att[5] + "&wy=" + att[6] + "&ww=" + att[7] + "&wh=" + att[8];
+
+ whichFrame.document.write('');
+ whichFrame.document.write('');
+ whichFrame.document.write('');
+ whichFrame.document.write('');
+ whichFrame.document.write('');
+ whichFrame.document.write('');
+ whichFrame.document.write('');
+ whichFrame.document.write('');
+ whichFrame.document.write('');
+ whichFrame.document.write('');
+ whichFrame.document.write('');
+ whichFrame.document.write('');
+ whichFrame.document.write('');
+
+ whichFrame.document.write('');
+
+ whichFrame.document.close();
+
+ initScripts();
+
+ pageInfo();
+
+ setmark();
+}
+
+
+function Backpage(keepArea) {
+
+ att[1] = parseInt(att[1]) - 1;
+
+ if (att[1] > 0) {
+ loadPicture(0, keepArea);
+ } else {
+ att[1] = parseInt(att[1]) + 1;
+ alert("You are already on the first page!");
+ }
+}
+
+
+function Nextpage(keepArea) {
+
+ att[1] = parseInt(att[1]) + 1;
+
+ if (att[1] <= parent.numPages) {
+ loadPicture(0, keepArea);
+ } else {
+ att[1] = parseInt(att[1]) - 1;
+ alert("You are already on the last page!");
+ }
+}
+
+
+function Page(keepArea) {
+
+ do {
+ page = prompt("Goto Page (1 - " + parent.numPages + "):", 1);
+ } while ((page != null) && ((page < 1) || (page > parent.numPages)));
+
+ if (page != null && page != att[1]) {
+ att[1] = page;
+ loadPicture(0, keepArea);
+ }
+}
+
+
+function Digicat() {
+ var url = "http://" + location.host + "/docuserver/digitallibrary/digicat.html?" + att[0] + "+" + att[1];
+ win = window.open(url, "digicat");
+ win.focus();
+}
+
+
+function Ref(refselect) {
+
+ var hyperlinkRef = "http://" + location.host + "/docuserver/digitallibrary/digilib.jsp?";
+ hyperlinkRef += att[0] + "+" + att[1] + "+" + att[2] + "+" + att[3] + "+" + att[4];
+
+ if ((att[5] != 0) || (att[6] != 0) || (att[7] != 1) || (att[8] != 1)) {
+ hyperlinkRef += "+" + att[5] + "+" + att[6] + "+" + att[7] + "+" + att[8];
+ }
+
+ if (refselect == 1) {
+ prompt("Link for HTML--documents", hyperlinkRef);
+ } else {
+ prompt("Link for LaTeX--documents", "\\href{" + hyperlinkRef + "}{TEXT}");
+ }
+}
+
+
+function Mark() {
+
+ if (att[4].split(";").length > 7) {
+ alert("Only 8 marks are possible at the moment!");
+ return;
+ }
+
+ function MarkEvent(event) {
+
+ if ((att[4] != "") && (att[4] != "0/0")) {
+ att[4] += ";";
+ } else {
+ att[4] = "";
+ }
+
+ var markX = cropFloat(att[5]+att[7]*(event.pageX-parseInt(whichFrame.document.getElementById("lay1").style.left))/whichFrame.document.pic.offsetWidth);
+ var markY = cropFloat(att[6]+att[8]*(event.pageY-parseInt(whichFrame.document.getElementById("lay1").style.top))/whichFrame.document.pic.offsetHeight);
+
+ att[4] += markX + "/" + markY;
+
+ whichFrame.document.getElementById("lay1").removeEventListener("mousedown", MarkEvent, true);
+ setmark();
+ }
+
+ whichFrame.document.getElementById("lay1").addEventListener("mousedown", MarkEvent, true);
+}
+
+
+function Zoomrect() {
+ var state = 0;
+ var x1, y1, x2, y2;
+
+ function Click(event) {
+
+ if (state == 0) {
+ state = 1;
+
+ x1 = event.pageX;
+ y1 = event.pageY;
+ x2 = x1;
+ y2 = y1;
+
+ whichFrame.document.getElementById("eck1").style.left = x1;
+ whichFrame.document.getElementById("eck1").style.top = y1;
+ whichFrame.document.getElementById("eck2").style.left = x2-12;
+ whichFrame.document.getElementById("eck2").style.top = y1;
+ whichFrame.document.getElementById("eck3").style.left = x1;
+ whichFrame.document.getElementById("eck3").style.top = y2-12;
+ whichFrame.document.getElementById("eck4").style.left = x2-12;
+ whichFrame.document.getElementById("eck4").style.top = y2-12;
+
+ whichFrame.document.getElementById("eck1").style.visibility="visible";
+ whichFrame.document.getElementById("eck2").style.visibility="visible";
+ whichFrame.document.getElementById("eck3").style.visibility="visible";
+ whichFrame.document.getElementById("eck4").style.visibility="visible";
+
+ whichFrame.document.getElementById("lay1").addEventListener("mousemove", Move, true);
+ whichFrame.document.getElementById("eck4").addEventListener("mousemove", Move, true);
+
+ } else {
+
+ x1 -= parseInt(whichFrame.document.getElementById("lay1").style.left);
+ y1 -= parseInt(whichFrame.document.getElementById("lay1").style.top);
+
+ x2 = event.pageX-parseInt(whichFrame.document.getElementById("lay1").style.left);
+ y2 = event.pageY-parseInt(whichFrame.document.getElementById("lay1").style.top);
+
+ whichFrame.document.getElementById("lay1").removeEventListener("mousedown", Click, true);
+ whichFrame.document.getElementById("eck4").removeEventListener("mousedown", Click, true);
+
+ whichFrame.document.getElementById("lay1").removeEventListener("mousemove", Move, true);
+ whichFrame.document.getElementById("eck4").removeEventListener("mousemove", Move, true);
+
+ whichFrame.document.getElementById("eck1").style.visibility="hidden";
+ whichFrame.document.getElementById("eck2").style.visibility="hidden";
+ whichFrame.document.getElementById("eck3").style.visibility="hidden";
+ whichFrame.document.getElementById("eck4").style.visibility="hidden";
+
+ att[5] = cropFloat(att[5]+att[7]*((x1 < x2) ? x1 : x2)/whichFrame.document.pic.offsetWidth);
+ att[6] = cropFloat(att[6]+att[8]*((y1 < y2) ? y1 : y2)/whichFrame.document.pic.offsetHeight);
+
+ att[7] = cropFloat(att[7]*Math.abs(x1-x2)/whichFrame.document.pic.offsetWidth);
+ att[8] = cropFloat(att[8]*Math.abs(y1-y2)/whichFrame.document.pic.offsetHeight);
+
+ if (att[7] != 0 && att[8] != 0) {
+ loadPicture(2);
+ }
+ }
+ }
+
+ function Move(event) {
+
+ x2 = event.pageX;
+ y2 = event.pageY;
+
+ whichFrame.document.getElementById("eck1").style.left = ((x1 < x2) ? x1 : x2);
+ whichFrame.document.getElementById("eck1").style.top = ((y1 < y2) ? y1 : y2);
+ whichFrame.document.getElementById("eck2").style.left = ((x1 < x2) ? x2 : x1)-12;
+ whichFrame.document.getElementById("eck2").style.top = ((y1 < y2) ? y1 : y2);
+ whichFrame.document.getElementById("eck3").style.left = ((x1 < x2) ? x1 : x2);
+ whichFrame.document.getElementById("eck3").style.top = ((y1 < y2) ? y2 : y1)-12;
+ whichFrame.document.getElementById("eck4").style.left = ((x1 < x2) ? x2 : x1)-12;
+ whichFrame.document.getElementById("eck4").style.top = ((y1 < y2) ? y2 : y1)-12;
+ }
+
+ whichFrame.document.getElementById("lay1").addEventListener("mousedown", Click, true);
+ whichFrame.document.getElementById("eck4").addEventListener("mousedown", Click, true);
+}
+
+
+function Zoomin() {
+
+ function ZoominEvent(event) {
+
+ 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);
+ 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);
+
+ att[7] = cropFloat(att[7]*0.7);
+ att[8] = cropFloat(att[8]*0.7);
+
+ if (att[5] < 0) {
+ att[5] = 0;
+ }
+ if (att[6] < 0) {
+ att[6] = 0;
+ }
+ if (att[5]+att[7] > 1) {
+ att[5] = 1-att[7];
+ }
+ if (att[6]+att[8] > 1) {
+ att[6] = 1-att[8];
+ }
+
+ whichFrame.document.getElementById("lay1").removeEventListener("mousedown", ZoominEvent, true);
+
+ loadPicture(2);
+ }
+
+ whichFrame.document.getElementById("lay1").addEventListener("mousedown", ZoominEvent, true);
+}
+
+
+function Zoomout() {
+
+ loadPicture(1);
+}
+
+
+function Moveto() {
+
+ function MovetoEvent(event) {
+
+ att[5] = cropFloat(att[5]+att[7]*(event.pageX-parseInt(whichFrame.document.getElementById("lay1").style.left))/whichFrame.document.pic.offsetWidth-0.5*att[7]);
+ att[6] = cropFloat(att[6]+att[8]*(event.pageY-parseInt(whichFrame.document.getElementById("lay1").style.top))/whichFrame.document.pic.offsetHeight-0.5*att[8]);
+
+ if (att[5] < 0) {
+ att[5] = 0;
+ }
+ if (att[6] < 0) {
+ att[6] = 0;
+ }
+ if (att[5]+att[7] > 1) {
+ att[5] = 1-att[7];
+ }
+ if (att[6]+att[8] > 1) {
+ att[6] = 1-att[8];
+ }
+
+ whichFrame.document.getElementById("lay1").removeEventListener("mousedown", MovetoEvent, true);
+
+ loadPicture(2);
+ }
+
+ whichFrame.document.getElementById("lay1").addEventListener("mousedown", MovetoEvent, true);
+}
+
+
+function Scaledef(scaledef) {
+
+ att[2] = scaledef;
+ loadPicture(2);
+}
+
+
+function setmark() {
+
+ if (att[4] != "" && att[4] != "0/0") {
+ var mark = att[4].split(";");
+
+ var countMarks = mark.length;
+
+ // maximum of marks is 8
+ // we do not report this error because this is already done in func. "Mark"
+ if (countMarks > 8) countMarks = 8;
+
+ var picWidth = whichFrame.document.pic.offsetWidth;
+ var picHeight = whichFrame.document.pic.offsetHeight;
+
+ // catch the cases where the picture had not been loaded already and
+ // make a timeout so that the coordinates are calculated with the real dimensions
+ if (whichFrame.document.pic.complete) {
+ var xoffset = parseInt(whichFrame.document.getElementById("lay1").style.left);
+ var yoffset = parseInt(whichFrame.document.getElementById("lay1").style.top);
+
+ for (var i = 0; i < countMarks; i++) {
+ mark[i] = mark[i].split("/");
+
+ 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]))) {
+
+ mark[i][0] = parseInt(xoffset+picWidth*(mark[i][0]-att[5])/att[7]);
+ mark[i][1] = parseInt(yoffset+picHeight*(mark[i][1]-att[6])/att[8]);
+
+
+ whichFrame.document.getElementById("dot" + i).style.left = mark[i][0]-5;
+ whichFrame.document.getElementById("dot" + i).style.top = mark[i][1]-5;
+ whichFrame.document.getElementById("dot" + i).style.visibility = "visible";
+ }
+ }
+ } else {
+ setTimeout("setmark()", 100);
+ }
+ }
+}
+
+// capturing keypresses for next and previous page
+// ascii-values of n = 110, b = 98
+function parseKeypress (event) {
+ if (event.charCode == 110) {
+ Nextpage();
+ }
+ if (event.charCode == 98) {
+ Backpage();
+ }
+}
+
+
+// auxiliary function to crop senseless precicsion
+function cropFloat(tmp) {
+ return parseInt(10000*tmp)/10000;
+}
+
+
+// initialize browser specific things (keypress caputring)
+function initScripts() {
+// for (var f = 0; f < window.frames.length; f++) {
+// window.frames[f].document.addEventListener('keypress', parseKeypress, true);
+// }
+ whichFrame.document.addEventListener('keypress', parseKeypress, true);
+ whichFrame.focus();
+}
+
+
+// fill in the values of the "att"-array
+function initPicture(picURL) {
+ att = picURL.split("+");
+
+ if (att[0].lastIndexOf("/") == att[0].length-1) {
+ att[0] = att[0].substring(0, att[0].length-1);
+ }
+
+ if (att.length < 2 || att[1] == "") {
+ att[1] = 1;
+ }
+ if (att.length < 3 || att[2] == "") {
+ att[2] = "1.0";
+ }
+
+ if (att.length < 4) {
+ att[3] = "";
+ }
+
+ if (att[3].indexOf("f") > -1) {
+ att[3] = "fit";
+ }
+
+ if (att.length < 5 || att[4] == "") {
+ att[4] = "0/0";
+ }
+
+ // converts the old mark format (0-1000) to new format(0.0 - 1.0)
+ if (att[4] != "0/0") {
+ var tmp = att[4].split(";");
+
+ att[4] = "";
+
+ for (i = 0; i < tmp.length; i++) {
+ tmp[i] = tmp[i].split("/");
+
+ if (tmp[i][0] > 1 && tmp[i][1] > 1) {
+ tmp[i][0] /= 1000;
+ tmp[i][1] /= 1000;
+ }
+
+ att[4] += tmp[i][0] + "/" + tmp[i][1] + ";";
+ }
+ att[4] = att[4].slice(0, -1);
+ }
+
+ if (att.length < 7) {
+ att[5] = 0;
+ att[6] = 0;
+ att[7] = 1;
+ att[8] = 1;
+ } else {
+ att[5] = parseFloat(att[5]);
+ att[6] = parseFloat(att[6]);
+ att[7] = parseFloat(att[7]);
+ att[8] = parseFloat(att[8]);
+ }
+}
+
+
+function pageInfo() {
+
+ // bug in netscape 4.xx (confunding px and pt)
+ var fontsize = document.layers ? "11pt" : "11px";
+
+ if (window.pageFrame) {
+ pageFrame.document.open();
+ pageFrame.document.write('');
+ pageFrame.document.write('');
+ pageFrame.document.write(att[1] + ' of ' + numPages + '
');
+ pageFrame.document.close();
+ }
+}
Contexthelp
Keep area