annotate client/digitallibrary/navigation.js @ 169:a553df56d51f

Servlet version 1.17b2 - new mapping file for "virtual directories" - direct file URLs now work without extension (even with wrong ones)
author robcast
date Mon, 10 Nov 2003 20:17:58 +0100
parents e12783eb5d46
children 51aea2a9a172
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
129
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
1 /*
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
2
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
3 Copyright (C) 2003 WTWG, Uni Bern
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
4
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
5 This program is free software; you can redistribute it and/or
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
6 modify it under the terms of the GNU General Public License
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
7 as published by the Free Software Foundation; either version 2
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
8 of the License, or (at your option) any later version.
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
9
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
10 This program is distributed in the hope that it will be useful,
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
11 but WITHOUT ANY WARRANTY; without even the implied warranty of
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
12 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
13 GNU General Public License for more details.
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
14
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
15 You should have received a copy of the GNU General Public License
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
16 along with this program; if not, write to the Free Software
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
17 Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
18
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
19 Author: Christian Luginbuehl, 01.05.2003 , Version Alcatraz 0.4
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
20
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
21 */
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
22
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
23 var ZOOMFACTOR = Math.sqrt(2);
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
24
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
25 dlParams = new Object();
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
26
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
27 function newParameter(name, value, defaultValue, detail) {
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
28
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
29 if ( !dlParams[name] ) {
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
30
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
31 dlParams[name] = new Object();
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
32
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
33 dlParams[name].value = value;
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
34 dlParams[name].defaultValue = defaultValue;
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
35 dlParams[name].detail = detail;
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
36
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
37 return dlParams[name];
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
38
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
39 } else {
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
40
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
41 alert("Fatal: An object with name '" + name + "' already exists - cannot recreate!");
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
42 return false;
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
43
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
44 }
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
45 }
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
46
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
47 function getParameter(name) {
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
48
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
49 if ( dlParams[name] ) {
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
50 return dlParams[name].value;
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
51 } else {
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
52 return false;
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
53 }
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
54 }
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
55
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
56
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
57
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
58 function listParametersAsString() {
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
59
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
60 var params = new Array();
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
61
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
62 for ( param in dlParams ) {
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
63 params.push(param);
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
64 }
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
65
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
66 return params.join(",");
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
67
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
68 }
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
69
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
70
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
71 function listParameters() {
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
72
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
73 var params = new Array();
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
74
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
75 for ( param in dlParams ) {
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
76 params.push(param);
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
77 }
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
78
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
79 return params;
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
80
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
81 }
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
82
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
83
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
84 function init() {
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
85
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
86 // give a name to the window containing digilib - this way one can test if there is already a
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
87 // digilib-window open and replace the contents of it (ex. digicat)
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
88 top.window.name = "digilib";
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
89
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
90 placeMarks();
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
91
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
92 if ( document.all ) {
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
93 this.document.onkeypress = parseKeypress;
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
94 } else if ( typeof(document.addEventListener) == "function" ) {
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
95 this.document.addEventListener('keypress', parseKeypress, true);
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
96 } else {
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
97 window.captureEvents(Event.KEYDOWN);
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
98 window.onkeydown = parseKeypress;
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
99 }
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
100
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
101 focus();
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
102 }
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
103
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
104
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
105 function display(detail) {
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
106
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
107 var queryString = '';
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
108
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
109 for ( param in dlParams ) {
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
110
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
111 if ( dlParams[param].defaultValue != dlParams[param].value ) {
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
112 if ( dlParams[param].detail <= detail ) {
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
113 queryString += "&" + param + "=" + dlParams[param].value;
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
114 } else {
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
115 queryString += "&" + param + "=" + dlParams[param].defaultValue;
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
116 }
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
117 }
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
118
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
119 }
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
120
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
121 if ( document.body ) {
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
122 queryString += "&dw=" + (document.body.clientWidth-30) + "&dh=" + (document.body.clientHeight-30);
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
123 } else {
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
124 queryString += "&dw=" + (innerWidth-30) + "&dh=" + (innerHeight-30);
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
125 }
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
126
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
127 queryString += "&lv=1";
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
128
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
129 queryString = queryString.slice(1);
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
130
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
131 location.href = location.protocol + "//" + location.host + location.pathname + "?" + queryString;
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
132
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
133 }
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
134
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
135
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
136 // constructor holding different values of a point
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
137 function Point(evt) {
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
138
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
139 if ( document.all ) {
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
140
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
141 this.pageX = parseInt(document.body.scrollLeft+event.clientX);
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
142 this.pageY = parseInt(document.body.scrollLeft+event.clientY);
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
143
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
144 this.x = this.pageX-parseInt(document.all.lay1.style.left);
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
145 this.y = this.pageY-parseInt(document.all.lay1.style.top);
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
146
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
147 this.relX = cropFloat(parseFloat(dlParams.wx.value)+(dlParams.ww.value*this.x/document.all.lay1.offsetWidth));
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
148 this.relY = cropFloat(parseFloat(dlParams.wy.value)+(dlParams.wh.value*this.y/document.all.lay1.offsetHeight));
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
149
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
150 } else {
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
151
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
152 this.pageX = parseInt(evt.pageX);
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
153 this.pageY = parseInt(evt.pageY);
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
154
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
155 if ( typeof(document.getElementById) == "function" ) {
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
156
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
157 this.x = this.pageX-parseInt(document.getElementById("lay1").style.left);
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
158 this.y = this.pageY-parseInt(document.getElementById("lay1").style.top);
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
159
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
160 this.relX = cropFloat(parseFloat(dlParams.wx.value)+(dlParams.ww.value*this.x/document.pic.offsetWidth));
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
161 this.relY = cropFloat(parseFloat(dlParams.wy.value)+(dlParams.wh.value*this.y/document.pic.offsetHeight));
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
162
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
163 } else {
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
164
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
165 this.x = this.pageX-document.lay1.left;
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
166 this.y = this.pageY-document.lay1.top;
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
167
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
168 this.relX = cropFloat(parseFloat(dlParams.wx.value)+(dlParams.ww.value*this.x/document.lay1.clip.width));
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
169 this.relY = cropFloat(parseFloat(dlParams.wy.value)+(dlParams.wh.value*this.y/document.lay1.clip.height));
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
170
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
171 }
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
172
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
173 }
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
174
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
175 return this;
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
176
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
177 }
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
178
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
179
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
180 function page(page, details) {
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
181
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
182 if ( details == null ) {
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
183 details = 1;
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
184 }
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
185
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
186 if ( page.indexOf('-') == 0 ) {
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
187 if ( dlParams.pn.value > 1 ) {
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
188 page = Math.max(parseInt(dlParams.pn.value) - parseInt(page.slice(1)), 1);
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
189 dlParams.pn.value = page;
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
190 display(details);
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
191 } else {
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
192 alert("You are already on the first page!");
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
193 }
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
194
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
195 } else if ( page.indexOf('+') == 0 ) {
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
196 page = parseInt(dlParams.pn.value) + parseInt(page.slice(1));
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
197 dlParams.pn.value = page;
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
198 display(details);
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
199 } else if ( page == parseInt(page) ) {
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
200 dlParams.pn.value = parseInt(page);
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
201 display(details);
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
202 }
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
203
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
204 }
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
205
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
206
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
207 function digicat() {
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
208
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
209 var url = baseUrl + "/digicat.jsp?" + dlParams.fn.value + "+" + dlParams.pn.value;
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
210 win = window.open(url, "digicat");
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
211 win.focus();
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
212
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
213 }
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
214
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
215
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
216 function ref(select) {
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
217
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
218 var hyperlinkRef = baseUrl + "/digilib.jsp?";
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
219 hyperlinkRef += dlParams.fn.value + "+" + dlParams.pn.value + "+" + dlParams.ws.value + "+";
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
220 hyperlinkRef += dlParams.mo.value + "+" + dlParams.mk.value;
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
221
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
222 if ( (dlParams.wx.value != 0) || (dlParams.wy.value != 0) || (dlParams.ww.value != 1) || (dlParams.wh.value != 1) ) {
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
223 hyperlinkRef += "+" + dlParams.wx.value + "+" + dlParams.wy.value + "+" + dlParams.ww.value;
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
224 hyperlinkRef += "+" + dlParams.wh.value;
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
225 }
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
226
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
227 if ( select == 0 ) {
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
228 prompt("Link for LaTeX-documents", "\\href{" + hyperlinkRef + "}{TEXT}");
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
229 } else if ( select == 1 ) {
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
230 prompt("Link for HTML-documents", hyperlinkRef);
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
231 }
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
232 }
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
233
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
234
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
235 function mark() {
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
236
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
237 if ( dlParams.mk.value.split(";").length > 7 ) {
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
238 alert("Only 8 marks are possible at the moment!");
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
239 return;
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
240 }
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
241
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
242 function markEvent(evt) {
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
243
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
244 var point = new Point(evt);
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
245
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
246 if ( dlParams.mk.value != '' ) {
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
247 dlParams.mk.value += ';';
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
248 }
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
249
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
250 dlParams.mk.value += point.relX + '/' + point.relY;
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
251
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
252 // stopping event capture
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
253 if ( document.all ) {
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
254 document.all.lay1.onmousedown = null;
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
255 } else if ( typeof(document.removeEventListener) == "function" ) {
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
256 document.getElementById("lay1").removeEventListener("mousedown", markEvent, true);
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
257 } else {
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
258 document.lay1.releaseEvents(Event.MOUSEDOWN);
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
259 }
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
260
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
261 placeMarks();
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
262
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
263 }
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
264
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
265 // starting event capture
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
266 if ( document.all ) {
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
267 document.all.lay1.onmousedown = markEvent;
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
268 } else if ( typeof(document.addEventListener) == "function" ) {
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
269 document.getElementById("lay1").addEventListener("mousedown", markEvent, true);
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
270 } else {
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
271 document.lay1.captureEvents(Event.MOUSEDOWN);
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
272 document.lay1.onmousedown = markEvent;
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
273 }
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
274 }
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
275
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
276
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
277 function placeMarks() {
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
278
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
279 if ( dlParams.mk.value != '' ) {
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
280
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
281 var mark = dlParams.mk.value.split(";");
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
282 var mark_count = mark.length;
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
283
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
284 // maximum of marks is 8
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
285 // we do not report this error because this is already done in function 'mark'
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
286 if ( mark_count > 8 ) mark_count = 8;
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
287
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
288 var picWidth = (document.all) ? parseInt(document.all.lay1.offsetWidth) : (typeof(document.getElementById) == "function") ? parseInt(document.pic.offsetWidth) : parseInt(document.pic.clip.width);
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
289 var picHeight = (document.all) ? parseInt(document.all.lay1.offsetHeight) : (typeof(document.getElementById) == "function") ? parseInt(document.pic.offsetHeight) : parseInt(document.pic.clip.height);
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
290
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
291 // catch the cases where the picture had not been loaded already and
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
292 // make a timeout so that the coordinates are calculated with the real dimensions
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
293 if ( (document.pic.complete) || (picWidth > 30) ) {
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
294
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
295 var xOffset = (document.all) ? parseInt(document.all.lay1.style.left) : (typeof(document.getElementById) == "function") ? parseInt(document.getElementById('lay1').style.left) : document.lay1.left;
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
296 var yOffset = (document.all) ? parseInt(document.all.lay1.style.top) : (typeof(document.getElementById) == "function") ? parseInt(document.getElementById('lay1').style.top) : document.lay1.top;
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
297
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
298 for (var i = 0; i < mark_count; i++) {
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
299 mark[i] = mark[i].split("/");
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
300
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
301 if ( (mark[i][0] >= dlParams.wx.value) && (mark[i][1] >= dlParams.wy.value) && (mark[i][0] <= (parseFloat(dlParams.wx.value) + parseFloat(dlParams.ww.value))) && (mark[i][1] <= (parseFloat(dlParams.wy.value) + parseFloat(dlParams.wh.value))) ) {
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
302
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
303 mark[i][0] = parseInt(xOffset + picWidth * (mark[i][0] - dlParams.wx.value)/dlParams.ww.value);
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
304 mark[i][1] = parseInt(yOffset + picHeight * (mark[i][1] - dlParams.wy.value)/dlParams.wh.value);
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
305
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
306 if ( (document.all) || (typeof(document.getElementById) == "function") ) {
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
307 // suboptimal to place -5 pixels and not half size of mark-image
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
308 // should be changed in the future
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
309 document.getElementById("dot" + i).style.left = mark[i][0]-5;
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
310 document.getElementById("dot" + i).style.top = mark[i][1]-5;
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
311 document.getElementById("dot" + i).style.visibility = "visible";
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
312 } else {
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
313 document.layers[i+1].moveTo(mark[i][0]-5, mark[i][1]-5);
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
314 document.layers[i+1].visibility = "show";
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
315 }
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
316 }
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
317 }
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
318
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
319 } else {
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
320 setTimeout("placeMarks()", 100);
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
321 }
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
322 }
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
323 }
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
324
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
325
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
326 function zoomPoint() {
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
327
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
328 function zoomPointEvent(evt) {
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
329
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
330 var point = new Point(evt);
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
331
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
332 dlParams.wx.value = cropFloat(point.relX-0.5*dlParams.ww.value*(1/ZOOMFACTOR));
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
333 dlParams.wy.value = cropFloat(point.relY-0.5*dlParams.wh.value*(1/ZOOMFACTOR));
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
334
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
335 dlParams.ww.value = cropFloat(dlParams.ww.value*(1/ZOOMFACTOR));
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
336 dlParams.wh.value = cropFloat(dlParams.wh.value*(1/ZOOMFACTOR));
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
337
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
338 if ( dlParams.wx.value < 0 ) {
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
339 dlParams.wx.value = 0;
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
340 }
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
341 if ( dlParams.wy.value < 0 ) {
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
342 dlParams.wy.value = 0;
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
343 }
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
344 if ( dlParams.wx.value + dlParams.ww.value > 1 ) {
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
345 dlParams.wx.value = 1 - dlParams.ww.value;
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
346 }
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
347 if ( dlParams.wy.value + dlParams.wh.value > 1 ) {
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
348 dlParams.wy.value = 1 - dlParams.wh.value;
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
349 }
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
350
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
351 // stopping event capture
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
352 if ( document.all ) {
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
353 document.all.lay1.onmousedown = null;
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
354 } else if ( typeof(document.removeEventListener) == "function" ) {
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
355 document.getElementById("lay1").removeEventListener("mousedown", zoomPointEvent, true);
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
356 } else {
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
357 document.lay1.releaseEvents(Event.MOUSEDOWN);
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
358 }
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
359
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
360 display(3);
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
361 }
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
362
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
363 // starting event capture
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
364 if ( document.all ) {
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
365 document.all.lay1.onmousedown = zoomPointEvent;
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
366 } else if ( typeof(document.addEventListener) == "function" ) {
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
367 document.getElementById("lay1").addEventListener("mousedown", zoomPointEvent, true);
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
368 } else {
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
369 document.lay1.captureEvents(Event.MOUSEDOWN);
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
370 document.lay1.onmousedown = zoomPointEvent;
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
371 }
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
372 }
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
373
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
374
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
375 function zoomArea() {
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
376 var state = 0;
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
377 var pt1, pt2;
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
378
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
379 function click(evt) {
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
380
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
381 if (state == 0) {
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
382 state = 1;
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
383
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
384 pt1 = new Point(evt);
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
385 pt2 = pt1;
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
386
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
387 if ( document.all ) {
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
388
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
389 document.all.eck1.style.left = pt1.pageX;
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
390 document.all.eck1.style.top = pt1.pageY;
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
391 document.all.eck2.style.left = pt2.pageX-12;
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
392 document.all.eck2.style.top = pt1.pageY;
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
393 document.all.eck3.style.left = pt1.pageX;
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
394 document.all.eck3.style.top = pt2.pageY-12;
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
395 document.all.eck4.style.left = pt2.pageX-12;
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
396 document.all.eck4.style.top = pt2.pageY-12;
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
397
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
398 document.all.eck1.style.visibility="visible";
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
399 document.all.eck2.style.visibility="visible";
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
400 document.all.eck3.style.visibility="visible";
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
401 document.all.eck4.style.visibility="visible";
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
402
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
403 document.all.lay1.onmousemove = move;
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
404 document.all.eck4.onmousemove = move;
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
405
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
406 } else if ( typeof(document.addEventListener) == "function" ) {
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
407
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
408 document.getElementById("eck1").style.left = pt1.pageX;
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
409 document.getElementById("eck1").style.top = pt1.pageY;
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
410 document.getElementById("eck2").style.left = pt2.pageX-12;
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
411 document.getElementById("eck2").style.top = pt1.pageY;
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
412 document.getElementById("eck3").style.left = pt1.pageX;
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
413 document.getElementById("eck3").style.top = pt2.pageY-12;
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
414 document.getElementById("eck4").style.left = pt2.pageX-12;
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
415 document.getElementById("eck4").style.top = pt2.pageY-12;
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
416
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
417 document.getElementById("eck1").style.visibility="visible";
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
418 document.getElementById("eck2").style.visibility="visible";
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
419 document.getElementById("eck3").style.visibility="visible";
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
420 document.getElementById("eck4").style.visibility="visible";
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
421
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
422 document.getElementById("lay1").addEventListener("mousemove", move, true);
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
423 document.getElementById("eck4").addEventListener("mousemove", move, true);
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
424
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
425 } else {
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
426
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
427 document.eck1.moveTo(pt1.pageX, pt1.pageY);
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
428 document.eck2.moveTo(pt2.pageX-12, pt1.pageY);
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
429 document.eck3.moveTo(pt1.pageX, pt2.pageY-12);
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
430 document.eck4.moveTo(pt2.pageX-12, pt2.pageY-12);
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
431
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
432 document.eck1.visibility="show";
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
433 document.eck2.visibility="show";
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
434 document.eck3.visibility="show";
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
435 document.eck4.visibility="show";
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
436
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
437 document.lay1.captureEvents(Event.MOUSEMOVE);
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
438 document.eck4.captureEvents(Event.MOUSEMOVE);
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
439 document.lay1.onmousemove = move;
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
440 document.eck4.onmousemove = move;
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
441
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
442 }
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
443
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
444 } else {
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
445
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
446 pt2 = new Point(evt);
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
447
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
448 if ( document.all ) {
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
449
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
450 document.all.eck1.visibility="hidden";
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
451 document.all.eck2.visibility="hidden";
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
452 document.all.eck3.visibility="hidden";
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
453 document.all.eck4.visibility="hidden";
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
454
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
455 document.all.lay1.onmousedown = null;
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
456 document.all.eck4.onmousedown = null;
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
457 document.all.lay1.onmousemove = null;
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
458 document.all.eck4.onmousemove = null;
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
459
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
460 } else if ( typeof(document.removeEventListener) == "function" ) {
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
461
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
462 document.getElementById("eck1").style.visibility="hidden";
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
463 document.getElementById("eck2").style.visibility="hidden";
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
464 document.getElementById("eck3").style.visibility="hidden";
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
465 document.getElementById("eck4").style.visibility="hidden";
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
466
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
467 document.getElementById("lay1").removeEventListener("mousedown", click, true);
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
468 document.getElementById("eck4").removeEventListener("mousedown", click, true);
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
469 document.getElementById("lay1").removeEventListener("mousemove", move, true);
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
470 document.getElementById("eck4").removeEventListener("mousemove", move, true);
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
471
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
472 } else {
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
473
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
474 document.eck1.visibility="hide";
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
475 document.eck2.visibility="hide";
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
476 document.eck3.visibility="hide";
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
477 document.eck4.visibility="hide";
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
478
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
479 document.lay1.releaseEvents(Event.MOUSEDOWN);
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
480 document.eck4.releaseEvents(Event.MOUSEDOWN);
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
481 document.lay1.releaseEvents(Event.MOUSEMOVE);
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
482 document.eck4.releaseEvents(Event.MOUSEMOVE);
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
483
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
484 }
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
485
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
486 dlParams.wx.value = cropFloat(parseFloat(Math.min(pt1.relX, pt2.relX)));
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
487 dlParams.wy.value = cropFloat(parseFloat(Math.min(pt1.relY, pt2.relY)));
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
488
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
489 dlParams.ww.value = cropFloat(parseFloat(Math.abs(pt1.relX-pt2.relX)));
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
490 dlParams.wh.value = cropFloat(parseFloat(Math.abs(pt1.relY-pt2.relY)));
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
491
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
492 if ( (dlParams.ww.value != 0) && (dlParams.wh.value != 0) ) {
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
493 display(3);
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
494 }
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
495 }
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
496 }
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
497
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
498 function move(evt) {
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
499
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
500 pt2 = new Point(evt);
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
501
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
502 var eck1_left = ((pt1.pageX < pt2.pageX) ? pt1.pageX : pt2.pageX);
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
503 var eck1_top = ((pt1.pageY < pt2.pageY) ? pt1.pageY : pt2.pageY);
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
504 var eck2_left = ((pt1.pageX < pt2.pageX) ? pt2.pageX : pt1.pageX)-12;;
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
505 var eck2_top = ((pt1.pageY < pt2.pageY) ? pt1.pageY : pt2.pageY);
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
506 var eck3_left = ((pt1.pageX < pt2.pageX) ? pt1.pageX : pt2.pageX);
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
507 var eck3_top = ((pt1.pageY < pt2.pageY) ? pt2.pageY : pt1.pageY)-12;
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
508 var eck4_left = ((pt1.pageX < pt2.pageX) ? pt2.pageX : pt1.pageX)-12;
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
509 var eck4_top = ((pt1.pageY < pt2.pageY) ? pt2.pageY : pt1.pageY)-12;
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
510
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
511 if ( document.all ) {
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
512
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
513 document.all.eck1.style.left = eck1_left;
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
514 document.all.eck1.style.top = eck1_top;
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
515 document.all.eck2.style.left = eck2_left;
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
516 document.all.eck2.style.top = eck2_top;
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
517 document.all.eck3.style.left = eck3_left;
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
518 document.all.eck3.style.top = eck3_top;
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
519 document.all.eck4.style.left = eck4_left;
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
520 document.all.eck4.style.top = eck4_top;
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
521
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
522 } else if ( typeof(document.getElementById) == "function" ) {
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
523
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
524 document.getElementById("eck1").style.left = eck1_left;
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
525 document.getElementById("eck1").style.top = eck1_top;
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
526 document.getElementById("eck2").style.left = eck2_left;
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
527 document.getElementById("eck2").style.top = eck2_top;
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
528 document.getElementById("eck3").style.left = eck3_left;
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
529 document.getElementById("eck3").style.top = eck3_top;
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
530 document.getElementById("eck4").style.left = eck4_left;
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
531 document.getElementById("eck4").style.top = eck4_top;
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
532
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
533 } else {
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
534
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
535 document.eck1.moveTo(eck1_left, eck1_top);
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
536 document.eck2.moveTo(eck2_left, eck2_top);
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
537 document.eck3.moveTo(eck3_left, eck3_top);
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
538 document.eck4.moveTo(eck4_left, eck4_top);
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
539
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
540 }
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
541 }
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
542
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
543 // starting event capture
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
544 if ( document.all ) {
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
545 document.all.lay1.onmousedown = click;
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
546 document.all.eck4.onmousedown = click;
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
547 } else if ( typeof(document.addEventListener) == "function" ) {
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
548 document.getElementById("lay1").addEventListener("mousedown", click, true);
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
549 document.getElementById("eck4").addEventListener("mousedown", click, true);
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
550 } else {
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
551 document.lay1.captureEvents(Event.MOUSEDOWN);
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
552 document.eck4.captureEvents(Event.MOUSEDOWN);
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
553 document.lay1.onmousedown = click;
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
554 document.eck4.onmousedown = click;
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
555 }
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
556 }
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
557
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
558
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
559 function zoomExtends() {
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
560
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
561 dlParams.wx.value = 0.0;
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
562 dlParams.wy.value = 0.0;
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
563
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
564 dlParams.ww.value = 1.0;
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
565 dlParams.wh.value = 1.0;
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
566
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
567 display(3);
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
568
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
569 }
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
570
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
571
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
572 function zoomOut() {
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
573
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
574 dlParams.wx.value = cropFloat(dlParams.wx.value-0.5*(dlParams.ww.value*(ZOOMFACTOR)-dlParams.ww.value));
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
575 dlParams.wy.value = cropFloat(dlParams.wy.value-0.5*(dlParams.wh.value*(ZOOMFACTOR)-dlParams.wh.value));
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
576
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
577 dlParams.ww.value = cropFloat(dlParams.ww.value*(ZOOMFACTOR));
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
578 dlParams.wh.value = cropFloat(dlParams.wh.value*(ZOOMFACTOR));
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
579
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
580 if ( dlParams.wx.value < 0 ) {
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
581 dlParams.wx.value = 0;
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
582 }
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
583 if ( dlParams.wy.value < 0 ) {
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
584 dlParams.wy.value = 0;
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
585 }
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
586 if ( dlParams.ww.value > 1 ) {
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
587 dlParams.ww.value = 1;
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
588 }
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
589 if ( dlParams.wh.value > 1 ) {
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
590 dlParams.wh.value = 1;
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
591 }
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
592 if ( dlParams.wx.value + dlParams.ww.value > 1 ) {
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
593 dlParams.wx.value = 1 - dlParams.ww.value;
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
594 }
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
595 if ( dlParams.wy.value + dlParams.wh.value > 1 ) {
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
596 dlParams.wy.value = 1 - dlParams.wh.value;
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
597 }
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
598
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
599 display(3);
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
600 }
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
601
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
602
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
603 function moveTo() {
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
604
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
605 if ( (parseFloat(dlParams.ww.value) == 1.0) && (parseFloat(dlParams.wh.value) == 1.0) ) {
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
606 alert("This function is only available when zoomed in!");
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
607 return;
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
608 }
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
609
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
610 function moveToEvent(event) {
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
611
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
612 var point = new Point(event);
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
613
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
614 dlParams.wx.value = cropFloat(point.relX-0.5*dlParams.ww.value);
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
615 dlParams.wy.value = cropFloat(point.relY-0.5*dlParams.wh.value);
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
616
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
617 if ( dlParams.wx.value < 0 ) {
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
618 dlParams.wx.value = 0;
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
619 }
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
620 if ( dlParams.wy.value < 0 ) {
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
621 dlParams.wy.value = 0;
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
622 }
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
623 if ( dlParams.wx.value + dlParams.ww.value > 1 ) {
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
624 dlParams.wx.value = 1 - dlParams.ww.value;
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
625 }
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
626 if ( dlParams.wy.value + dlParams.wh.value > 1 ) {
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
627 dlParams.wy.value = 1 - dlParams.wh.value;
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
628 }
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
629
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
630 // stopping event capture
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
631 if ( document.all ) {
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
632 document.all.lay1.onmousedown = null;
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
633 } else if ( typeof(document.removeEventListener) == "function" ) {
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
634 document.getElementById("lay1").removeEventListener("mousedown", moveToEvent, true);
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
635 } else {
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
636 document.lay1.releaseEvents(Event.MOUSEDOWN)
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
637 }
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
638
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
639 display(3);
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
640 }
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
641
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
642 // starting event capture
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
643 if ( document.all ) {
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
644 document.all.lay1.onmousedown = moveToEvent;
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
645 } else if ( typeof(document.addEventListener) == "function" ) {
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
646 document.getElementById("lay1").addEventListener("mousedown", moveToEvent, true);
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
647 } else {
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
648 document.lay1.captureEvents(Event.MOUSEDOWN);
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
649 document.lay1.onmousedown = moveToEvent;
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
650 }
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
651 }
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
652
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
653
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
654 function scale(factor) {
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
655
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
656 dlParams.ws.value = cropFloat(factor);
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
657 display(3);
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
658
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
659 }
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
660
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
661
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
662 // capturing keypresses for next and previous page
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
663 function parseKeypress(evt) {
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
664
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
665 if ( document.all ) {
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
666
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
667 if ( event.keyCode == 110 ) {
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
668 page('+1');
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
669 }
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
670 if ( event.keyCode == 98 ) {
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
671 page('-1');
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
672 }
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
673
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
674 document.cancleBubble = true;
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
675
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
676 } else {
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
677
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
678 if ( evt.charCode == 110 ) {
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
679 page('+1');
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
680 } else if ( evt.charCode == 98 ) {
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
681 page('-1');
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
682 } else if ( evt.which == 110 ) {
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
683 page('+1');
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
684 } else if ( evt.which == 98 ) {
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
685 // does not work currentlyfor Opera, because it catches the 'b'-key on it's own
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
686 // have to change the key or find another way - luginbuehl
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
687 page('-1');
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
688 }
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
689
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
690 }
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
691 }
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
692
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
693
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
694 // auxiliary function to crop senseless precicsion
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
695 function cropFloat(tmp) {
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
696 return parseInt(10000*tmp)/10000;
e12783eb5d46 unified scripts, nice xul sidebar, bugfixes
luginbue
parents:
diff changeset
697 }