annotate client/digitallibrary/navigation.js @ 225:7349d58cd391

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