Mercurial > hg > digilib-old
diff client/digitallibrary/navigation_n6.js @ 6:254fca7a21ce vendor
First import of client module
author | robcast |
---|---|
date | Thu, 17 Jan 2002 15:29:52 +0100 |
parents | |
children | 84a481a388bb 85126da2ae21 |
line wrap: on
line diff
--- /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('<html><head></head><body bgcolor="#666666" topmargin="10" leftmargin="10" marginwidth="10" magrinheight="10">'); + +// 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('<div ID="lay1" style="position:absolute; left:10; top:10; visibility:visible"><img name="pic" src="' + newPicture + '"></div>'); + 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>'); + 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>'); + 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>'); + 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>'); + 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>'); + 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>'); + 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>'); + 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>'); + 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>'); + 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>'); + 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>'); + 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>'); + + whichFrame.document.write('</body></html>'); + + 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('<html><head></head><body bgcolor="#CCCCCC" topmargin="5" marginheight="5">'); + pageFrame.document.write('<p style="font-family: Verdana, Arial, Helvetica, sans-serif; text-align: center; color: #CC3333; font-size: ' + fontsize + '">'); + pageFrame.document.write(att[1] + '<b> of </b>' + numPages + '</p></body></html>'); + pageFrame.document.close(); + } +}