annotate 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
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
6
254fca7a21ce First import of client module
robcast
parents:
diff changeset
1 /* navigation_ie -- JS library for digilib (Mozilla version)
254fca7a21ce First import of client module
robcast
parents:
diff changeset
2
254fca7a21ce First import of client module
robcast
parents:
diff changeset
3 Digital Image Library servlet components
254fca7a21ce First import of client module
robcast
parents:
diff changeset
4
254fca7a21ce First import of client module
robcast
parents:
diff changeset
5 Copyright (C) 2001, 2002 Christian Luginbuehl (luginbuehl@student.unibe.ch)
254fca7a21ce First import of client module
robcast
parents:
diff changeset
6
254fca7a21ce First import of client module
robcast
parents:
diff changeset
7 This program is free software; you can redistribute it and/or modify it
254fca7a21ce First import of client module
robcast
parents:
diff changeset
8 under the terms of the GNU General Public License as published by the
254fca7a21ce First import of client module
robcast
parents:
diff changeset
9 Free Software Foundation; either version 2 of the License, or (at your
254fca7a21ce First import of client module
robcast
parents:
diff changeset
10 option) any later version.
254fca7a21ce First import of client module
robcast
parents:
diff changeset
11
254fca7a21ce First import of client module
robcast
parents:
diff changeset
12 Please read license.txt for the full details. A copy of the GPL
254fca7a21ce First import of client module
robcast
parents:
diff changeset
13 may be found at http://www.gnu.org/copyleft/lgpl.html
254fca7a21ce First import of client module
robcast
parents:
diff changeset
14
254fca7a21ce First import of client module
robcast
parents:
diff changeset
15 You should have received a copy of the GNU General Public License
254fca7a21ce First import of client module
robcast
parents:
diff changeset
16 along with this program; if not, write to the Free Software
254fca7a21ce First import of client module
robcast
parents:
diff changeset
17 Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
254fca7a21ce First import of client module
robcast
parents:
diff changeset
18
254fca7a21ce First import of client module
robcast
parents:
diff changeset
19 */
254fca7a21ce First import of client module
robcast
parents:
diff changeset
20
254fca7a21ce First import of client module
robcast
parents:
diff changeset
21 // these two global variables have to be initialised before the frist use of the functions below
254fca7a21ce First import of client module
robcast
parents:
diff changeset
22 // to fill in the attributes you can use the function initPicture provided below
254fca7a21ce First import of client module
robcast
parents:
diff changeset
23 // - array with all attributes
254fca7a21ce First import of client module
robcast
parents:
diff changeset
24 var att = new Array();
254fca7a21ce First import of client module
robcast
parents:
diff changeset
25
254fca7a21ce First import of client module
robcast
parents:
diff changeset
26 // - variable to store the path to the frame, in which the pictures should be created
254fca7a21ce First import of client module
robcast
parents:
diff changeset
27 var whichFrame = parent.mainFrame;
254fca7a21ce First import of client module
robcast
parents:
diff changeset
28
254fca7a21ce First import of client module
robcast
parents:
diff changeset
29 // give a name to the window containing digilib - this way one can test if there is already a
254fca7a21ce First import of client module
robcast
parents:
diff changeset
30 // digilib-window open and replace the contents of it (ex. digicat)
254fca7a21ce First import of client module
robcast
parents:
diff changeset
31 window.name = "digilib";
254fca7a21ce First import of client module
robcast
parents:
diff changeset
32
254fca7a21ce First import of client module
robcast
parents:
diff changeset
33 // function that launches the ScaleServlet
254fca7a21ce First import of client module
robcast
parents:
diff changeset
34 // the different detailGrades:
254fca7a21ce First import of client module
robcast
parents:
diff changeset
35 // 0 -> back, next, page
254fca7a21ce First import of client module
robcast
parents:
diff changeset
36 // 1 -> zoomout
254fca7a21ce First import of client module
robcast
parents:
diff changeset
37 // 2 -> zoomarea, zoompoint, moveto, scaledef
254fca7a21ce First import of client module
robcast
parents:
diff changeset
38
254fca7a21ce First import of client module
robcast
parents:
diff changeset
39 function loadPicture(detailGrade, keepArea) {
254fca7a21ce First import of client module
robcast
parents:
diff changeset
40
254fca7a21ce First import of client module
robcast
parents:
diff changeset
41 // alert("wx: " + att[5] + "\tww: " + att[7] + "\nwy: " + att[6] + "\twh: " + att[8]);
254fca7a21ce First import of client module
robcast
parents:
diff changeset
42
254fca7a21ce First import of client module
robcast
parents:
diff changeset
43 // sorry about that, but Mozilla needs to have a document body to calc the frames width and height
254fca7a21ce First import of client module
robcast
parents:
diff changeset
44 whichFrame.document.open();
254fca7a21ce First import of client module
robcast
parents:
diff changeset
45 whichFrame.document.write('<html><head></head><body bgcolor="#666666" topmargin="10" leftmargin="10" marginwidth="10" magrinheight="10">');
254fca7a21ce First import of client module
robcast
parents:
diff changeset
46
254fca7a21ce First import of client module
robcast
parents:
diff changeset
47 // alert(whichFrame.innerWidth);
254fca7a21ce First import of client module
robcast
parents:
diff changeset
48
254fca7a21ce First import of client module
robcast
parents:
diff changeset
49 var newPicture = "http://" + location.host + "/docuserver/digitallibrary/servlet/Scaler/"
254fca7a21ce First import of client module
robcast
parents:
diff changeset
50 newPicture += att[0] + "?" + "pn=" + att[1] + "&ws=" + att[2];
254fca7a21ce First import of client module
robcast
parents:
diff changeset
51 newPicture += "&dw=" + (whichFrame.innerWidth-30) + "&dh=" + (whichFrame.innerHeight-30);
254fca7a21ce First import of client module
robcast
parents:
diff changeset
52 newPicture += "&mo=" + att[3];
254fca7a21ce First import of client module
robcast
parents:
diff changeset
53
254fca7a21ce First import of client module
robcast
parents:
diff changeset
54 if (detailGrade == 0) {
254fca7a21ce First import of client module
robcast
parents:
diff changeset
55 att[4] = "0/0";
254fca7a21ce First import of client module
robcast
parents:
diff changeset
56 }
254fca7a21ce First import of client module
robcast
parents:
diff changeset
57
254fca7a21ce First import of client module
robcast
parents:
diff changeset
58 if ((detailGrade == 1) || (detailGrade == 0 && !keepArea)) {
254fca7a21ce First import of client module
robcast
parents:
diff changeset
59 att[5] = 0;
254fca7a21ce First import of client module
robcast
parents:
diff changeset
60 att[6] = 0;
254fca7a21ce First import of client module
robcast
parents:
diff changeset
61 att[7] = 1;
254fca7a21ce First import of client module
robcast
parents:
diff changeset
62 att[8] = 1;
254fca7a21ce First import of client module
robcast
parents:
diff changeset
63 }
254fca7a21ce First import of client module
robcast
parents:
diff changeset
64 newPicture += "&wx=" + att[5] + "&wy=" + att[6] + "&ww=" + att[7] + "&wh=" + att[8];
254fca7a21ce First import of client module
robcast
parents:
diff changeset
65
254fca7a21ce First import of client module
robcast
parents:
diff changeset
66 whichFrame.document.write('<div ID="lay1" style="position:absolute; left:10; top:10; visibility:visible"><img name="pic" src="' + newPicture + '"></div>');
254fca7a21ce First import of client module
robcast
parents:
diff changeset
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>');
254fca7a21ce First import of client module
robcast
parents:
diff changeset
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>');
254fca7a21ce First import of client module
robcast
parents:
diff changeset
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>');
254fca7a21ce First import of client module
robcast
parents:
diff changeset
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>');
254fca7a21ce First import of client module
robcast
parents:
diff changeset
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>');
254fca7a21ce First import of client module
robcast
parents:
diff changeset
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>');
254fca7a21ce First import of client module
robcast
parents:
diff changeset
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>');
254fca7a21ce First import of client module
robcast
parents:
diff changeset
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>');
254fca7a21ce First import of client module
robcast
parents:
diff changeset
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>');
254fca7a21ce First import of client module
robcast
parents:
diff changeset
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>');
254fca7a21ce First import of client module
robcast
parents:
diff changeset
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>');
254fca7a21ce First import of client module
robcast
parents:
diff changeset
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>');
254fca7a21ce First import of client module
robcast
parents:
diff changeset
79
254fca7a21ce First import of client module
robcast
parents:
diff changeset
80 whichFrame.document.write('</body></html>');
254fca7a21ce First import of client module
robcast
parents:
diff changeset
81
254fca7a21ce First import of client module
robcast
parents:
diff changeset
82 whichFrame.document.close();
254fca7a21ce First import of client module
robcast
parents:
diff changeset
83
254fca7a21ce First import of client module
robcast
parents:
diff changeset
84 initScripts();
254fca7a21ce First import of client module
robcast
parents:
diff changeset
85
254fca7a21ce First import of client module
robcast
parents:
diff changeset
86 pageInfo();
254fca7a21ce First import of client module
robcast
parents:
diff changeset
87
254fca7a21ce First import of client module
robcast
parents:
diff changeset
88 setmark();
254fca7a21ce First import of client module
robcast
parents:
diff changeset
89 }
254fca7a21ce First import of client module
robcast
parents:
diff changeset
90
254fca7a21ce First import of client module
robcast
parents:
diff changeset
91
254fca7a21ce First import of client module
robcast
parents:
diff changeset
92 function Backpage(keepArea) {
254fca7a21ce First import of client module
robcast
parents:
diff changeset
93
254fca7a21ce First import of client module
robcast
parents:
diff changeset
94 att[1] = parseInt(att[1]) - 1;
254fca7a21ce First import of client module
robcast
parents:
diff changeset
95
254fca7a21ce First import of client module
robcast
parents:
diff changeset
96 if (att[1] > 0) {
254fca7a21ce First import of client module
robcast
parents:
diff changeset
97 loadPicture(0, keepArea);
254fca7a21ce First import of client module
robcast
parents:
diff changeset
98 } else {
254fca7a21ce First import of client module
robcast
parents:
diff changeset
99 att[1] = parseInt(att[1]) + 1;
254fca7a21ce First import of client module
robcast
parents:
diff changeset
100 alert("You are already on the first page!");
254fca7a21ce First import of client module
robcast
parents:
diff changeset
101 }
254fca7a21ce First import of client module
robcast
parents:
diff changeset
102 }
254fca7a21ce First import of client module
robcast
parents:
diff changeset
103
254fca7a21ce First import of client module
robcast
parents:
diff changeset
104
254fca7a21ce First import of client module
robcast
parents:
diff changeset
105 function Nextpage(keepArea) {
254fca7a21ce First import of client module
robcast
parents:
diff changeset
106
254fca7a21ce First import of client module
robcast
parents:
diff changeset
107 att[1] = parseInt(att[1]) + 1;
254fca7a21ce First import of client module
robcast
parents:
diff changeset
108
254fca7a21ce First import of client module
robcast
parents:
diff changeset
109 if (att[1] <= parent.numPages) {
254fca7a21ce First import of client module
robcast
parents:
diff changeset
110 loadPicture(0, keepArea);
254fca7a21ce First import of client module
robcast
parents:
diff changeset
111 } else {
254fca7a21ce First import of client module
robcast
parents:
diff changeset
112 att[1] = parseInt(att[1]) - 1;
254fca7a21ce First import of client module
robcast
parents:
diff changeset
113 alert("You are already on the last page!");
254fca7a21ce First import of client module
robcast
parents:
diff changeset
114 }
254fca7a21ce First import of client module
robcast
parents:
diff changeset
115 }
254fca7a21ce First import of client module
robcast
parents:
diff changeset
116
254fca7a21ce First import of client module
robcast
parents:
diff changeset
117
254fca7a21ce First import of client module
robcast
parents:
diff changeset
118 function Page(keepArea) {
254fca7a21ce First import of client module
robcast
parents:
diff changeset
119
254fca7a21ce First import of client module
robcast
parents:
diff changeset
120 do {
254fca7a21ce First import of client module
robcast
parents:
diff changeset
121 page = prompt("Goto Page (1 - " + parent.numPages + "):", 1);
254fca7a21ce First import of client module
robcast
parents:
diff changeset
122 } while ((page != null) && ((page < 1) || (page > parent.numPages)));
254fca7a21ce First import of client module
robcast
parents:
diff changeset
123
254fca7a21ce First import of client module
robcast
parents:
diff changeset
124 if (page != null && page != att[1]) {
254fca7a21ce First import of client module
robcast
parents:
diff changeset
125 att[1] = page;
254fca7a21ce First import of client module
robcast
parents:
diff changeset
126 loadPicture(0, keepArea);
254fca7a21ce First import of client module
robcast
parents:
diff changeset
127 }
254fca7a21ce First import of client module
robcast
parents:
diff changeset
128 }
254fca7a21ce First import of client module
robcast
parents:
diff changeset
129
254fca7a21ce First import of client module
robcast
parents:
diff changeset
130
254fca7a21ce First import of client module
robcast
parents:
diff changeset
131 function Digicat() {
254fca7a21ce First import of client module
robcast
parents:
diff changeset
132 var url = "http://" + location.host + "/docuserver/digitallibrary/digicat.html?" + att[0] + "+" + att[1];
254fca7a21ce First import of client module
robcast
parents:
diff changeset
133 win = window.open(url, "digicat");
254fca7a21ce First import of client module
robcast
parents:
diff changeset
134 win.focus();
254fca7a21ce First import of client module
robcast
parents:
diff changeset
135 }
254fca7a21ce First import of client module
robcast
parents:
diff changeset
136
254fca7a21ce First import of client module
robcast
parents:
diff changeset
137
254fca7a21ce First import of client module
robcast
parents:
diff changeset
138 function Ref(refselect) {
254fca7a21ce First import of client module
robcast
parents:
diff changeset
139
254fca7a21ce First import of client module
robcast
parents:
diff changeset
140 var hyperlinkRef = "http://" + location.host + "/docuserver/digitallibrary/digilib.jsp?";
254fca7a21ce First import of client module
robcast
parents:
diff changeset
141 hyperlinkRef += att[0] + "+" + att[1] + "+" + att[2] + "+" + att[3] + "+" + att[4];
254fca7a21ce First import of client module
robcast
parents:
diff changeset
142
254fca7a21ce First import of client module
robcast
parents:
diff changeset
143 if ((att[5] != 0) || (att[6] != 0) || (att[7] != 1) || (att[8] != 1)) {
254fca7a21ce First import of client module
robcast
parents:
diff changeset
144 hyperlinkRef += "+" + att[5] + "+" + att[6] + "+" + att[7] + "+" + att[8];
254fca7a21ce First import of client module
robcast
parents:
diff changeset
145 }
254fca7a21ce First import of client module
robcast
parents:
diff changeset
146
254fca7a21ce First import of client module
robcast
parents:
diff changeset
147 if (refselect == 1) {
254fca7a21ce First import of client module
robcast
parents:
diff changeset
148 prompt("Link for HTML--documents", hyperlinkRef);
254fca7a21ce First import of client module
robcast
parents:
diff changeset
149 } else {
254fca7a21ce First import of client module
robcast
parents:
diff changeset
150 prompt("Link for LaTeX--documents", "\\href{" + hyperlinkRef + "}{TEXT}");
254fca7a21ce First import of client module
robcast
parents:
diff changeset
151 }
254fca7a21ce First import of client module
robcast
parents:
diff changeset
152 }
254fca7a21ce First import of client module
robcast
parents:
diff changeset
153
254fca7a21ce First import of client module
robcast
parents:
diff changeset
154
254fca7a21ce First import of client module
robcast
parents:
diff changeset
155 function Mark() {
254fca7a21ce First import of client module
robcast
parents:
diff changeset
156
254fca7a21ce First import of client module
robcast
parents:
diff changeset
157 if (att[4].split(";").length > 7) {
254fca7a21ce First import of client module
robcast
parents:
diff changeset
158 alert("Only 8 marks are possible at the moment!");
254fca7a21ce First import of client module
robcast
parents:
diff changeset
159 return;
254fca7a21ce First import of client module
robcast
parents:
diff changeset
160 }
254fca7a21ce First import of client module
robcast
parents:
diff changeset
161
254fca7a21ce First import of client module
robcast
parents:
diff changeset
162 function MarkEvent(event) {
254fca7a21ce First import of client module
robcast
parents:
diff changeset
163
254fca7a21ce First import of client module
robcast
parents:
diff changeset
164 if ((att[4] != "") && (att[4] != "0/0")) {
254fca7a21ce First import of client module
robcast
parents:
diff changeset
165 att[4] += ";";
254fca7a21ce First import of client module
robcast
parents:
diff changeset
166 } else {
254fca7a21ce First import of client module
robcast
parents:
diff changeset
167 att[4] = "";
254fca7a21ce First import of client module
robcast
parents:
diff changeset
168 }
254fca7a21ce First import of client module
robcast
parents:
diff changeset
169
254fca7a21ce First import of client module
robcast
parents:
diff changeset
170 var markX = cropFloat(att[5]+att[7]*(event.pageX-parseInt(whichFrame.document.getElementById("lay1").style.left))/whichFrame.document.pic.offsetWidth);
254fca7a21ce First import of client module
robcast
parents:
diff changeset
171 var markY = cropFloat(att[6]+att[8]*(event.pageY-parseInt(whichFrame.document.getElementById("lay1").style.top))/whichFrame.document.pic.offsetHeight);
254fca7a21ce First import of client module
robcast
parents:
diff changeset
172
254fca7a21ce First import of client module
robcast
parents:
diff changeset
173 att[4] += markX + "/" + markY;
254fca7a21ce First import of client module
robcast
parents:
diff changeset
174
254fca7a21ce First import of client module
robcast
parents:
diff changeset
175 whichFrame.document.getElementById("lay1").removeEventListener("mousedown", MarkEvent, true);
254fca7a21ce First import of client module
robcast
parents:
diff changeset
176 setmark();
254fca7a21ce First import of client module
robcast
parents:
diff changeset
177 }
254fca7a21ce First import of client module
robcast
parents:
diff changeset
178
254fca7a21ce First import of client module
robcast
parents:
diff changeset
179 whichFrame.document.getElementById("lay1").addEventListener("mousedown", MarkEvent, true);
254fca7a21ce First import of client module
robcast
parents:
diff changeset
180 }
254fca7a21ce First import of client module
robcast
parents:
diff changeset
181
254fca7a21ce First import of client module
robcast
parents:
diff changeset
182
254fca7a21ce First import of client module
robcast
parents:
diff changeset
183 function Zoomrect() {
254fca7a21ce First import of client module
robcast
parents:
diff changeset
184 var state = 0;
254fca7a21ce First import of client module
robcast
parents:
diff changeset
185 var x1, y1, x2, y2;
254fca7a21ce First import of client module
robcast
parents:
diff changeset
186
254fca7a21ce First import of client module
robcast
parents:
diff changeset
187 function Click(event) {
254fca7a21ce First import of client module
robcast
parents:
diff changeset
188
254fca7a21ce First import of client module
robcast
parents:
diff changeset
189 if (state == 0) {
254fca7a21ce First import of client module
robcast
parents:
diff changeset
190 state = 1;
254fca7a21ce First import of client module
robcast
parents:
diff changeset
191
254fca7a21ce First import of client module
robcast
parents:
diff changeset
192 x1 = event.pageX;
254fca7a21ce First import of client module
robcast
parents:
diff changeset
193 y1 = event.pageY;
254fca7a21ce First import of client module
robcast
parents:
diff changeset
194 x2 = x1;
254fca7a21ce First import of client module
robcast
parents:
diff changeset
195 y2 = y1;
254fca7a21ce First import of client module
robcast
parents:
diff changeset
196
254fca7a21ce First import of client module
robcast
parents:
diff changeset
197 whichFrame.document.getElementById("eck1").style.left = x1;
254fca7a21ce First import of client module
robcast
parents:
diff changeset
198 whichFrame.document.getElementById("eck1").style.top = y1;
254fca7a21ce First import of client module
robcast
parents:
diff changeset
199 whichFrame.document.getElementById("eck2").style.left = x2-12;
254fca7a21ce First import of client module
robcast
parents:
diff changeset
200 whichFrame.document.getElementById("eck2").style.top = y1;
254fca7a21ce First import of client module
robcast
parents:
diff changeset
201 whichFrame.document.getElementById("eck3").style.left = x1;
254fca7a21ce First import of client module
robcast
parents:
diff changeset
202 whichFrame.document.getElementById("eck3").style.top = y2-12;
254fca7a21ce First import of client module
robcast
parents:
diff changeset
203 whichFrame.document.getElementById("eck4").style.left = x2-12;
254fca7a21ce First import of client module
robcast
parents:
diff changeset
204 whichFrame.document.getElementById("eck4").style.top = y2-12;
254fca7a21ce First import of client module
robcast
parents:
diff changeset
205
254fca7a21ce First import of client module
robcast
parents:
diff changeset
206 whichFrame.document.getElementById("eck1").style.visibility="visible";
254fca7a21ce First import of client module
robcast
parents:
diff changeset
207 whichFrame.document.getElementById("eck2").style.visibility="visible";
254fca7a21ce First import of client module
robcast
parents:
diff changeset
208 whichFrame.document.getElementById("eck3").style.visibility="visible";
254fca7a21ce First import of client module
robcast
parents:
diff changeset
209 whichFrame.document.getElementById("eck4").style.visibility="visible";
254fca7a21ce First import of client module
robcast
parents:
diff changeset
210
254fca7a21ce First import of client module
robcast
parents:
diff changeset
211 whichFrame.document.getElementById("lay1").addEventListener("mousemove", Move, true);
254fca7a21ce First import of client module
robcast
parents:
diff changeset
212 whichFrame.document.getElementById("eck4").addEventListener("mousemove", Move, true);
254fca7a21ce First import of client module
robcast
parents:
diff changeset
213
254fca7a21ce First import of client module
robcast
parents:
diff changeset
214 } else {
254fca7a21ce First import of client module
robcast
parents:
diff changeset
215
254fca7a21ce First import of client module
robcast
parents:
diff changeset
216 x1 -= parseInt(whichFrame.document.getElementById("lay1").style.left);
254fca7a21ce First import of client module
robcast
parents:
diff changeset
217 y1 -= parseInt(whichFrame.document.getElementById("lay1").style.top);
254fca7a21ce First import of client module
robcast
parents:
diff changeset
218
254fca7a21ce First import of client module
robcast
parents:
diff changeset
219 x2 = event.pageX-parseInt(whichFrame.document.getElementById("lay1").style.left);
254fca7a21ce First import of client module
robcast
parents:
diff changeset
220 y2 = event.pageY-parseInt(whichFrame.document.getElementById("lay1").style.top);
254fca7a21ce First import of client module
robcast
parents:
diff changeset
221
254fca7a21ce First import of client module
robcast
parents:
diff changeset
222 whichFrame.document.getElementById("lay1").removeEventListener("mousedown", Click, true);
254fca7a21ce First import of client module
robcast
parents:
diff changeset
223 whichFrame.document.getElementById("eck4").removeEventListener("mousedown", Click, true);
254fca7a21ce First import of client module
robcast
parents:
diff changeset
224
254fca7a21ce First import of client module
robcast
parents:
diff changeset
225 whichFrame.document.getElementById("lay1").removeEventListener("mousemove", Move, true);
254fca7a21ce First import of client module
robcast
parents:
diff changeset
226 whichFrame.document.getElementById("eck4").removeEventListener("mousemove", Move, true);
254fca7a21ce First import of client module
robcast
parents:
diff changeset
227
254fca7a21ce First import of client module
robcast
parents:
diff changeset
228 whichFrame.document.getElementById("eck1").style.visibility="hidden";
254fca7a21ce First import of client module
robcast
parents:
diff changeset
229 whichFrame.document.getElementById("eck2").style.visibility="hidden";
254fca7a21ce First import of client module
robcast
parents:
diff changeset
230 whichFrame.document.getElementById("eck3").style.visibility="hidden";
254fca7a21ce First import of client module
robcast
parents:
diff changeset
231 whichFrame.document.getElementById("eck4").style.visibility="hidden";
254fca7a21ce First import of client module
robcast
parents:
diff changeset
232
254fca7a21ce First import of client module
robcast
parents:
diff changeset
233 att[5] = cropFloat(att[5]+att[7]*((x1 < x2) ? x1 : x2)/whichFrame.document.pic.offsetWidth);
254fca7a21ce First import of client module
robcast
parents:
diff changeset
234 att[6] = cropFloat(att[6]+att[8]*((y1 < y2) ? y1 : y2)/whichFrame.document.pic.offsetHeight);
254fca7a21ce First import of client module
robcast
parents:
diff changeset
235
254fca7a21ce First import of client module
robcast
parents:
diff changeset
236 att[7] = cropFloat(att[7]*Math.abs(x1-x2)/whichFrame.document.pic.offsetWidth);
254fca7a21ce First import of client module
robcast
parents:
diff changeset
237 att[8] = cropFloat(att[8]*Math.abs(y1-y2)/whichFrame.document.pic.offsetHeight);
254fca7a21ce First import of client module
robcast
parents:
diff changeset
238
254fca7a21ce First import of client module
robcast
parents:
diff changeset
239 if (att[7] != 0 && att[8] != 0) {
254fca7a21ce First import of client module
robcast
parents:
diff changeset
240 loadPicture(2);
254fca7a21ce First import of client module
robcast
parents:
diff changeset
241 }
254fca7a21ce First import of client module
robcast
parents:
diff changeset
242 }
254fca7a21ce First import of client module
robcast
parents:
diff changeset
243 }
254fca7a21ce First import of client module
robcast
parents:
diff changeset
244
254fca7a21ce First import of client module
robcast
parents:
diff changeset
245 function Move(event) {
254fca7a21ce First import of client module
robcast
parents:
diff changeset
246
254fca7a21ce First import of client module
robcast
parents:
diff changeset
247 x2 = event.pageX;
254fca7a21ce First import of client module
robcast
parents:
diff changeset
248 y2 = event.pageY;
254fca7a21ce First import of client module
robcast
parents:
diff changeset
249
254fca7a21ce First import of client module
robcast
parents:
diff changeset
250 whichFrame.document.getElementById("eck1").style.left = ((x1 < x2) ? x1 : x2);
254fca7a21ce First import of client module
robcast
parents:
diff changeset
251 whichFrame.document.getElementById("eck1").style.top = ((y1 < y2) ? y1 : y2);
254fca7a21ce First import of client module
robcast
parents:
diff changeset
252 whichFrame.document.getElementById("eck2").style.left = ((x1 < x2) ? x2 : x1)-12;
254fca7a21ce First import of client module
robcast
parents:
diff changeset
253 whichFrame.document.getElementById("eck2").style.top = ((y1 < y2) ? y1 : y2);
254fca7a21ce First import of client module
robcast
parents:
diff changeset
254 whichFrame.document.getElementById("eck3").style.left = ((x1 < x2) ? x1 : x2);
254fca7a21ce First import of client module
robcast
parents:
diff changeset
255 whichFrame.document.getElementById("eck3").style.top = ((y1 < y2) ? y2 : y1)-12;
254fca7a21ce First import of client module
robcast
parents:
diff changeset
256 whichFrame.document.getElementById("eck4").style.left = ((x1 < x2) ? x2 : x1)-12;
254fca7a21ce First import of client module
robcast
parents:
diff changeset
257 whichFrame.document.getElementById("eck4").style.top = ((y1 < y2) ? y2 : y1)-12;
254fca7a21ce First import of client module
robcast
parents:
diff changeset
258 }
254fca7a21ce First import of client module
robcast
parents:
diff changeset
259
254fca7a21ce First import of client module
robcast
parents:
diff changeset
260 whichFrame.document.getElementById("lay1").addEventListener("mousedown", Click, true);
254fca7a21ce First import of client module
robcast
parents:
diff changeset
261 whichFrame.document.getElementById("eck4").addEventListener("mousedown", Click, true);
254fca7a21ce First import of client module
robcast
parents:
diff changeset
262 }
254fca7a21ce First import of client module
robcast
parents:
diff changeset
263
254fca7a21ce First import of client module
robcast
parents:
diff changeset
264
254fca7a21ce First import of client module
robcast
parents:
diff changeset
265 function Zoomin() {
254fca7a21ce First import of client module
robcast
parents:
diff changeset
266
254fca7a21ce First import of client module
robcast
parents:
diff changeset
267 function ZoominEvent(event) {
254fca7a21ce First import of client module
robcast
parents:
diff changeset
268
254fca7a21ce First import of client module
robcast
parents:
diff changeset
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);
254fca7a21ce First import of client module
robcast
parents:
diff changeset
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);
254fca7a21ce First import of client module
robcast
parents:
diff changeset
271
254fca7a21ce First import of client module
robcast
parents:
diff changeset
272 att[7] = cropFloat(att[7]*0.7);
254fca7a21ce First import of client module
robcast
parents:
diff changeset
273 att[8] = cropFloat(att[8]*0.7);
254fca7a21ce First import of client module
robcast
parents:
diff changeset
274
254fca7a21ce First import of client module
robcast
parents:
diff changeset
275 if (att[5] < 0) {
254fca7a21ce First import of client module
robcast
parents:
diff changeset
276 att[5] = 0;
254fca7a21ce First import of client module
robcast
parents:
diff changeset
277 }
254fca7a21ce First import of client module
robcast
parents:
diff changeset
278 if (att[6] < 0) {
254fca7a21ce First import of client module
robcast
parents:
diff changeset
279 att[6] = 0;
254fca7a21ce First import of client module
robcast
parents:
diff changeset
280 }
254fca7a21ce First import of client module
robcast
parents:
diff changeset
281 if (att[5]+att[7] > 1) {
254fca7a21ce First import of client module
robcast
parents:
diff changeset
282 att[5] = 1-att[7];
254fca7a21ce First import of client module
robcast
parents:
diff changeset
283 }
254fca7a21ce First import of client module
robcast
parents:
diff changeset
284 if (att[6]+att[8] > 1) {
254fca7a21ce First import of client module
robcast
parents:
diff changeset
285 att[6] = 1-att[8];
254fca7a21ce First import of client module
robcast
parents:
diff changeset
286 }
254fca7a21ce First import of client module
robcast
parents:
diff changeset
287
254fca7a21ce First import of client module
robcast
parents:
diff changeset
288 whichFrame.document.getElementById("lay1").removeEventListener("mousedown", ZoominEvent, true);
254fca7a21ce First import of client module
robcast
parents:
diff changeset
289
254fca7a21ce First import of client module
robcast
parents:
diff changeset
290 loadPicture(2);
254fca7a21ce First import of client module
robcast
parents:
diff changeset
291 }
254fca7a21ce First import of client module
robcast
parents:
diff changeset
292
254fca7a21ce First import of client module
robcast
parents:
diff changeset
293 whichFrame.document.getElementById("lay1").addEventListener("mousedown", ZoominEvent, true);
254fca7a21ce First import of client module
robcast
parents:
diff changeset
294 }
254fca7a21ce First import of client module
robcast
parents:
diff changeset
295
254fca7a21ce First import of client module
robcast
parents:
diff changeset
296
254fca7a21ce First import of client module
robcast
parents:
diff changeset
297 function Zoomout() {
254fca7a21ce First import of client module
robcast
parents:
diff changeset
298
254fca7a21ce First import of client module
robcast
parents:
diff changeset
299 loadPicture(1);
254fca7a21ce First import of client module
robcast
parents:
diff changeset
300 }
254fca7a21ce First import of client module
robcast
parents:
diff changeset
301
254fca7a21ce First import of client module
robcast
parents:
diff changeset
302
254fca7a21ce First import of client module
robcast
parents:
diff changeset
303 function Moveto() {
254fca7a21ce First import of client module
robcast
parents:
diff changeset
304
254fca7a21ce First import of client module
robcast
parents:
diff changeset
305 function MovetoEvent(event) {
254fca7a21ce First import of client module
robcast
parents:
diff changeset
306
254fca7a21ce First import of client module
robcast
parents:
diff changeset
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]);
254fca7a21ce First import of client module
robcast
parents:
diff changeset
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]);
254fca7a21ce First import of client module
robcast
parents:
diff changeset
309
254fca7a21ce First import of client module
robcast
parents:
diff changeset
310 if (att[5] < 0) {
254fca7a21ce First import of client module
robcast
parents:
diff changeset
311 att[5] = 0;
254fca7a21ce First import of client module
robcast
parents:
diff changeset
312 }
254fca7a21ce First import of client module
robcast
parents:
diff changeset
313 if (att[6] < 0) {
254fca7a21ce First import of client module
robcast
parents:
diff changeset
314 att[6] = 0;
254fca7a21ce First import of client module
robcast
parents:
diff changeset
315 }
254fca7a21ce First import of client module
robcast
parents:
diff changeset
316 if (att[5]+att[7] > 1) {
254fca7a21ce First import of client module
robcast
parents:
diff changeset
317 att[5] = 1-att[7];
254fca7a21ce First import of client module
robcast
parents:
diff changeset
318 }
254fca7a21ce First import of client module
robcast
parents:
diff changeset
319 if (att[6]+att[8] > 1) {
254fca7a21ce First import of client module
robcast
parents:
diff changeset
320 att[6] = 1-att[8];
254fca7a21ce First import of client module
robcast
parents:
diff changeset
321 }
254fca7a21ce First import of client module
robcast
parents:
diff changeset
322
254fca7a21ce First import of client module
robcast
parents:
diff changeset
323 whichFrame.document.getElementById("lay1").removeEventListener("mousedown", MovetoEvent, true);
254fca7a21ce First import of client module
robcast
parents:
diff changeset
324
254fca7a21ce First import of client module
robcast
parents:
diff changeset
325 loadPicture(2);
254fca7a21ce First import of client module
robcast
parents:
diff changeset
326 }
254fca7a21ce First import of client module
robcast
parents:
diff changeset
327
254fca7a21ce First import of client module
robcast
parents:
diff changeset
328 whichFrame.document.getElementById("lay1").addEventListener("mousedown", MovetoEvent, true);
254fca7a21ce First import of client module
robcast
parents:
diff changeset
329 }
254fca7a21ce First import of client module
robcast
parents:
diff changeset
330
254fca7a21ce First import of client module
robcast
parents:
diff changeset
331
254fca7a21ce First import of client module
robcast
parents:
diff changeset
332 function Scaledef(scaledef) {
254fca7a21ce First import of client module
robcast
parents:
diff changeset
333
254fca7a21ce First import of client module
robcast
parents:
diff changeset
334 att[2] = scaledef;
254fca7a21ce First import of client module
robcast
parents:
diff changeset
335 loadPicture(2);
254fca7a21ce First import of client module
robcast
parents:
diff changeset
336 }
254fca7a21ce First import of client module
robcast
parents:
diff changeset
337
254fca7a21ce First import of client module
robcast
parents:
diff changeset
338
254fca7a21ce First import of client module
robcast
parents:
diff changeset
339 function setmark() {
254fca7a21ce First import of client module
robcast
parents:
diff changeset
340
254fca7a21ce First import of client module
robcast
parents:
diff changeset
341 if (att[4] != "" && att[4] != "0/0") {
254fca7a21ce First import of client module
robcast
parents:
diff changeset
342 var mark = att[4].split(";");
254fca7a21ce First import of client module
robcast
parents:
diff changeset
343
254fca7a21ce First import of client module
robcast
parents:
diff changeset
344 var countMarks = mark.length;
254fca7a21ce First import of client module
robcast
parents:
diff changeset
345
254fca7a21ce First import of client module
robcast
parents:
diff changeset
346 // maximum of marks is 8
254fca7a21ce First import of client module
robcast
parents:
diff changeset
347 // we do not report this error because this is already done in func. "Mark"
254fca7a21ce First import of client module
robcast
parents:
diff changeset
348 if (countMarks > 8) countMarks = 8;
254fca7a21ce First import of client module
robcast
parents:
diff changeset
349
254fca7a21ce First import of client module
robcast
parents:
diff changeset
350 var picWidth = whichFrame.document.pic.offsetWidth;
254fca7a21ce First import of client module
robcast
parents:
diff changeset
351 var picHeight = whichFrame.document.pic.offsetHeight;
254fca7a21ce First import of client module
robcast
parents:
diff changeset
352
254fca7a21ce First import of client module
robcast
parents:
diff changeset
353 // catch the cases where the picture had not been loaded already and
254fca7a21ce First import of client module
robcast
parents:
diff changeset
354 // make a timeout so that the coordinates are calculated with the real dimensions
254fca7a21ce First import of client module
robcast
parents:
diff changeset
355 if (whichFrame.document.pic.complete) {
254fca7a21ce First import of client module
robcast
parents:
diff changeset
356 var xoffset = parseInt(whichFrame.document.getElementById("lay1").style.left);
254fca7a21ce First import of client module
robcast
parents:
diff changeset
357 var yoffset = parseInt(whichFrame.document.getElementById("lay1").style.top);
254fca7a21ce First import of client module
robcast
parents:
diff changeset
358
254fca7a21ce First import of client module
robcast
parents:
diff changeset
359 for (var i = 0; i < countMarks; i++) {
254fca7a21ce First import of client module
robcast
parents:
diff changeset
360 mark[i] = mark[i].split("/");
254fca7a21ce First import of client module
robcast
parents:
diff changeset
361
254fca7a21ce First import of client module
robcast
parents:
diff changeset
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]))) {
254fca7a21ce First import of client module
robcast
parents:
diff changeset
363
254fca7a21ce First import of client module
robcast
parents:
diff changeset
364 mark[i][0] = parseInt(xoffset+picWidth*(mark[i][0]-att[5])/att[7]);
254fca7a21ce First import of client module
robcast
parents:
diff changeset
365 mark[i][1] = parseInt(yoffset+picHeight*(mark[i][1]-att[6])/att[8]);
254fca7a21ce First import of client module
robcast
parents:
diff changeset
366
254fca7a21ce First import of client module
robcast
parents:
diff changeset
367
254fca7a21ce First import of client module
robcast
parents:
diff changeset
368 whichFrame.document.getElementById("dot" + i).style.left = mark[i][0]-5;
254fca7a21ce First import of client module
robcast
parents:
diff changeset
369 whichFrame.document.getElementById("dot" + i).style.top = mark[i][1]-5;
254fca7a21ce First import of client module
robcast
parents:
diff changeset
370 whichFrame.document.getElementById("dot" + i).style.visibility = "visible";
254fca7a21ce First import of client module
robcast
parents:
diff changeset
371 }
254fca7a21ce First import of client module
robcast
parents:
diff changeset
372 }
254fca7a21ce First import of client module
robcast
parents:
diff changeset
373 } else {
254fca7a21ce First import of client module
robcast
parents:
diff changeset
374 setTimeout("setmark()", 100);
254fca7a21ce First import of client module
robcast
parents:
diff changeset
375 }
254fca7a21ce First import of client module
robcast
parents:
diff changeset
376 }
254fca7a21ce First import of client module
robcast
parents:
diff changeset
377 }
254fca7a21ce First import of client module
robcast
parents:
diff changeset
378
254fca7a21ce First import of client module
robcast
parents:
diff changeset
379 // capturing keypresses for next and previous page
254fca7a21ce First import of client module
robcast
parents:
diff changeset
380 // ascii-values of n = 110, b = 98
254fca7a21ce First import of client module
robcast
parents:
diff changeset
381 function parseKeypress (event) {
254fca7a21ce First import of client module
robcast
parents:
diff changeset
382 if (event.charCode == 110) {
254fca7a21ce First import of client module
robcast
parents:
diff changeset
383 Nextpage();
254fca7a21ce First import of client module
robcast
parents:
diff changeset
384 }
254fca7a21ce First import of client module
robcast
parents:
diff changeset
385 if (event.charCode == 98) {
254fca7a21ce First import of client module
robcast
parents:
diff changeset
386 Backpage();
254fca7a21ce First import of client module
robcast
parents:
diff changeset
387 }
254fca7a21ce First import of client module
robcast
parents:
diff changeset
388 }
254fca7a21ce First import of client module
robcast
parents:
diff changeset
389
254fca7a21ce First import of client module
robcast
parents:
diff changeset
390
254fca7a21ce First import of client module
robcast
parents:
diff changeset
391 // auxiliary function to crop senseless precicsion
254fca7a21ce First import of client module
robcast
parents:
diff changeset
392 function cropFloat(tmp) {
254fca7a21ce First import of client module
robcast
parents:
diff changeset
393 return parseInt(10000*tmp)/10000;
254fca7a21ce First import of client module
robcast
parents:
diff changeset
394 }
254fca7a21ce First import of client module
robcast
parents:
diff changeset
395
254fca7a21ce First import of client module
robcast
parents:
diff changeset
396
254fca7a21ce First import of client module
robcast
parents:
diff changeset
397 // initialize browser specific things (keypress caputring)
254fca7a21ce First import of client module
robcast
parents:
diff changeset
398 function initScripts() {
254fca7a21ce First import of client module
robcast
parents:
diff changeset
399 // for (var f = 0; f < window.frames.length; f++) {
254fca7a21ce First import of client module
robcast
parents:
diff changeset
400 // window.frames[f].document.addEventListener('keypress', parseKeypress, true);
254fca7a21ce First import of client module
robcast
parents:
diff changeset
401 // }
254fca7a21ce First import of client module
robcast
parents:
diff changeset
402 whichFrame.document.addEventListener('keypress', parseKeypress, true);
254fca7a21ce First import of client module
robcast
parents:
diff changeset
403 whichFrame.focus();
254fca7a21ce First import of client module
robcast
parents:
diff changeset
404 }
254fca7a21ce First import of client module
robcast
parents:
diff changeset
405
254fca7a21ce First import of client module
robcast
parents:
diff changeset
406
254fca7a21ce First import of client module
robcast
parents:
diff changeset
407 // fill in the values of the "att"-array
254fca7a21ce First import of client module
robcast
parents:
diff changeset
408 function initPicture(picURL) {
254fca7a21ce First import of client module
robcast
parents:
diff changeset
409 att = picURL.split("+");
254fca7a21ce First import of client module
robcast
parents:
diff changeset
410
254fca7a21ce First import of client module
robcast
parents:
diff changeset
411 if (att[0].lastIndexOf("/") == att[0].length-1) {
254fca7a21ce First import of client module
robcast
parents:
diff changeset
412 att[0] = att[0].substring(0, att[0].length-1);
254fca7a21ce First import of client module
robcast
parents:
diff changeset
413 }
254fca7a21ce First import of client module
robcast
parents:
diff changeset
414
254fca7a21ce First import of client module
robcast
parents:
diff changeset
415 if (att.length < 2 || att[1] == "") {
254fca7a21ce First import of client module
robcast
parents:
diff changeset
416 att[1] = 1;
254fca7a21ce First import of client module
robcast
parents:
diff changeset
417 }
254fca7a21ce First import of client module
robcast
parents:
diff changeset
418 if (att.length < 3 || att[2] == "") {
254fca7a21ce First import of client module
robcast
parents:
diff changeset
419 att[2] = "1.0";
254fca7a21ce First import of client module
robcast
parents:
diff changeset
420 }
254fca7a21ce First import of client module
robcast
parents:
diff changeset
421
254fca7a21ce First import of client module
robcast
parents:
diff changeset
422 if (att.length < 4) {
254fca7a21ce First import of client module
robcast
parents:
diff changeset
423 att[3] = "";
254fca7a21ce First import of client module
robcast
parents:
diff changeset
424 }
254fca7a21ce First import of client module
robcast
parents:
diff changeset
425
254fca7a21ce First import of client module
robcast
parents:
diff changeset
426 if (att[3].indexOf("f") > -1) {
254fca7a21ce First import of client module
robcast
parents:
diff changeset
427 att[3] = "fit";
254fca7a21ce First import of client module
robcast
parents:
diff changeset
428 }
254fca7a21ce First import of client module
robcast
parents:
diff changeset
429
254fca7a21ce First import of client module
robcast
parents:
diff changeset
430 if (att.length < 5 || att[4] == "") {
254fca7a21ce First import of client module
robcast
parents:
diff changeset
431 att[4] = "0/0";
254fca7a21ce First import of client module
robcast
parents:
diff changeset
432 }
254fca7a21ce First import of client module
robcast
parents:
diff changeset
433
254fca7a21ce First import of client module
robcast
parents:
diff changeset
434 // converts the old mark format (0-1000) to new format(0.0 - 1.0)
254fca7a21ce First import of client module
robcast
parents:
diff changeset
435 if (att[4] != "0/0") {
254fca7a21ce First import of client module
robcast
parents:
diff changeset
436 var tmp = att[4].split(";");
254fca7a21ce First import of client module
robcast
parents:
diff changeset
437
254fca7a21ce First import of client module
robcast
parents:
diff changeset
438 att[4] = "";
254fca7a21ce First import of client module
robcast
parents:
diff changeset
439
254fca7a21ce First import of client module
robcast
parents:
diff changeset
440 for (i = 0; i < tmp.length; i++) {
254fca7a21ce First import of client module
robcast
parents:
diff changeset
441 tmp[i] = tmp[i].split("/");
254fca7a21ce First import of client module
robcast
parents:
diff changeset
442
254fca7a21ce First import of client module
robcast
parents:
diff changeset
443 if (tmp[i][0] > 1 && tmp[i][1] > 1) {
254fca7a21ce First import of client module
robcast
parents:
diff changeset
444 tmp[i][0] /= 1000;
254fca7a21ce First import of client module
robcast
parents:
diff changeset
445 tmp[i][1] /= 1000;
254fca7a21ce First import of client module
robcast
parents:
diff changeset
446 }
254fca7a21ce First import of client module
robcast
parents:
diff changeset
447
254fca7a21ce First import of client module
robcast
parents:
diff changeset
448 att[4] += tmp[i][0] + "/" + tmp[i][1] + ";";
254fca7a21ce First import of client module
robcast
parents:
diff changeset
449 }
254fca7a21ce First import of client module
robcast
parents:
diff changeset
450 att[4] = att[4].slice(0, -1);
254fca7a21ce First import of client module
robcast
parents:
diff changeset
451 }
254fca7a21ce First import of client module
robcast
parents:
diff changeset
452
254fca7a21ce First import of client module
robcast
parents:
diff changeset
453 if (att.length < 7) {
254fca7a21ce First import of client module
robcast
parents:
diff changeset
454 att[5] = 0;
254fca7a21ce First import of client module
robcast
parents:
diff changeset
455 att[6] = 0;
254fca7a21ce First import of client module
robcast
parents:
diff changeset
456 att[7] = 1;
254fca7a21ce First import of client module
robcast
parents:
diff changeset
457 att[8] = 1;
254fca7a21ce First import of client module
robcast
parents:
diff changeset
458 } else {
254fca7a21ce First import of client module
robcast
parents:
diff changeset
459 att[5] = parseFloat(att[5]);
254fca7a21ce First import of client module
robcast
parents:
diff changeset
460 att[6] = parseFloat(att[6]);
254fca7a21ce First import of client module
robcast
parents:
diff changeset
461 att[7] = parseFloat(att[7]);
254fca7a21ce First import of client module
robcast
parents:
diff changeset
462 att[8] = parseFloat(att[8]);
254fca7a21ce First import of client module
robcast
parents:
diff changeset
463 }
254fca7a21ce First import of client module
robcast
parents:
diff changeset
464 }
254fca7a21ce First import of client module
robcast
parents:
diff changeset
465
254fca7a21ce First import of client module
robcast
parents:
diff changeset
466
254fca7a21ce First import of client module
robcast
parents:
diff changeset
467 function pageInfo() {
254fca7a21ce First import of client module
robcast
parents:
diff changeset
468
254fca7a21ce First import of client module
robcast
parents:
diff changeset
469 // bug in netscape 4.xx (confunding px and pt)
254fca7a21ce First import of client module
robcast
parents:
diff changeset
470 var fontsize = document.layers ? "11pt" : "11px";
254fca7a21ce First import of client module
robcast
parents:
diff changeset
471
254fca7a21ce First import of client module
robcast
parents:
diff changeset
472 if (window.pageFrame) {
254fca7a21ce First import of client module
robcast
parents:
diff changeset
473 pageFrame.document.open();
254fca7a21ce First import of client module
robcast
parents:
diff changeset
474 pageFrame.document.write('<html><head></head><body bgcolor="#CCCCCC" topmargin="5" marginheight="5">');
254fca7a21ce First import of client module
robcast
parents:
diff changeset
475 pageFrame.document.write('<p style="font-family: Verdana, Arial, Helvetica, sans-serif; text-align: center; color: #CC3333; font-size: ' + fontsize + '">');
254fca7a21ce First import of client module
robcast
parents:
diff changeset
476 pageFrame.document.write(att[1] + '<b> of </b>' + numPages + '</p></body></html>');
254fca7a21ce First import of client module
robcast
parents:
diff changeset
477 pageFrame.document.close();
254fca7a21ce First import of client module
robcast
parents:
diff changeset
478 }
254fca7a21ce First import of client module
robcast
parents:
diff changeset
479 }