annotate src/de/mpg/mpiwg/itgroup/digilib/icons/greyskin/baselib.js @ 1:83c58ea33792

first release (continued)
author dwinter
date Mon, 03 Jan 2011 09:11:25 +0100
parents
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
1
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
1 /* Copyright (C) 2003-2006 IT-Group MPIWG, WTWG Uni Bern and others
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
2
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
3 This program is free software; you can redistribute it and/or
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
4 modify it under the terms of the GNU General Public License
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
5 as published by the Free Software Foundation; either version 2
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
6 of the License, or (at your option) any later version.
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
7
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
8 This program is distributed in the hope that it will be useful,
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
9 but WITHOUT ANY WARRANTY; without even the implied warranty of
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
10 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
11 GNU General Public License for more details.
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
12
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
13 You should have received a copy of the GNU General Public License
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
14 along with this program; if not, write to the Free Software
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
15 Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
16
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
17 Authors:
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
18 Christian Luginbuehl, 01.05.2003 (first version)
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
19 DW 24.03.2004 (Changed for digiLib in Zope)
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
20 Robert Casties, 2.11.2004 (almost complete rewrite)
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
21 Martin Raspe, 12.12.2005 (changes for Digilib NG)
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
22 Robert Casties, 3.9.2009
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
23 */
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
24
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
25 // was: function base_init() {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
26 baseLibVersion = "2.011";
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
27 browserType = getBrowserType();
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
28
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
29 sliders = {};
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
30 activeSlider = null;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
31
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
32 function getInt(n) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
33 // returns always an integer
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
34 n = parseInt(n);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
35 return (isNaN(n)) ? 0 : n;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
36 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
37
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
38 function defined(x) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
39 // returns if x is defined
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
40 return (typeof arguments[0] != "undefined");
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
41 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
42
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
43 function cropFloat(x) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
44 // auxiliary function to crop senseless precision
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
45 return parseInt(10000 * x) / 10000;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
46 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
47
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
48 function getBrowserType() {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
49 // browser sniffer
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
50 var bt = Object();
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
51 bt.doDHTML = false;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
52 bt.versIE = 0;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
53
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
54 if ((! document.cssonly && document.layers) || document.all || document.getElementById) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
55 var vers = navigator.appVersion.split('MSIE ');
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
56 vers = vers[vers.length - 1];
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
57 bt.versIE = getInt(vers);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
58 bt.isIE = navigator.userAgent.indexOf('MSIE') >= 0;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
59 bt.isMac = navigator.platform.indexOf('Mac') >= 0;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
60 bt.isWin = navigator.platform.indexOf('Win') >= 0;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
61 bt.isN4 = (navigator.userAgent.indexOf('Mozilla/4.') >= 0) && ! bt.isIE;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
62 bt.isIEWin = bt.versIE > 0 && bt.isWin;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
63 if (navigator.appVersion.indexOf('MSIE') < 0 || ! bt.isMac || bt.versIE >= 5) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
64 bt.doDHTML = true;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
65 bt.isOpera = navigator.userAgent.indexOf(' Opera ') >= 0;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
66 bt.isKonq = navigator.userAgent.indexOf(' Konqueror') >= 0;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
67 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
68 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
69 return bt;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
70 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
71
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
72 // fixes for javascript < 1.2
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
73 if (! Array.prototype.push) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
74 Array.prototype.push = function(val) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
75 this[this.length] = val;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
76 return this.length;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
77 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
78 Array.prototype.pop = function() {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
79 var val = this[this.length-1];
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
80 this.length -= 1;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
81 return val;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
82 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
83 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
84
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
85
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
86 /* **********************************************
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
87 * geometry classes
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
88 * ******************************************** */
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
89
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
90 /*
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
91 * Size class
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
92 */
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
93 function Size(w, h) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
94 this.width = parseFloat(w);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
95 this.height = parseFloat(h);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
96 return this;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
97 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
98 Size.prototype.toString = function() {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
99 return this.width + "x" + this.height;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
100 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
101 Size.prototype.equals = function(other) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
102 return (this.width == other.width
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
103 && this.height == other.height)
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
104 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
105
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
106 /*
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
107 * Position class
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
108 */
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
109 function Position(x, y) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
110 this.x = parseFloat(x);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
111 this.y = parseFloat(y);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
112 return this;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
113 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
114 Position.prototype.toString = function() {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
115 return this.x + "," + this.y;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
116 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
117 Position.prototype.equals = function(other) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
118 return (this.x == other.x
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
119 && this.y == other.y)
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
120 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
121 /*
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
122 * Rectangle class
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
123 */
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
124 function Rectangle(x, y, w, h) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
125 if (typeof x == "object") {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
126 // assume x and y are Position
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
127 this.x = x.x;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
128 this.y = x.y;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
129 this.width = y.x - x.x;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
130 this.height = y.y - x.y;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
131 return this;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
132 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
133 this.x = parseFloat(x);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
134 this.y = parseFloat(y);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
135 this.width = parseFloat(w);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
136 this.height = parseFloat(h);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
137 return this;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
138 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
139 Rectangle.prototype.toString = function() {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
140 return this.width+"x"+this.height+"@"+this.x+","+this.y;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
141 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
142 Rectangle.prototype.copy = function() {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
143 // returns a copy of this Rectangle
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
144 return new Rectangle(this.x, this.y, this.width, this.height);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
145 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
146 Rectangle.prototype.getPosition = function() {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
147 // returns the position of this Rectangle
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
148 return new Position(this.x, this.y);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
149 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
150 Rectangle.prototype.getPt1 = Rectangle.prototype.getPosition;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
151 // returns the upper left corner position
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
152
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
153 Rectangle.prototype.getPt2 = function() {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
154 // returns the lower right corner position of this Rectangle
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
155 return new Position(this.x + this.width, this.y + this.height);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
156 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
157 Rectangle.prototype.setPt1 = function(pos) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
158 // sets the upper left corner to position pos
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
159 this.x = pos.x;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
160 this.y = pos.y;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
161 return this;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
162 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
163 Rectangle.prototype.setPt2 = function(pos) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
164 // sets the lower right corner to position pos
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
165 this.width = pos.x - this.x;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
166 this.height = pos.y - this.y;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
167 return this;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
168 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
169 Rectangle.prototype.getCenter = function() {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
170 // returns the center position of this Rectangle
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
171 return new Position(this.x + this.width / 2, this.y + this.height / 2);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
172 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
173 Rectangle.prototype.setCenter = function(pos) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
174 // moves this Rectangle's center to position pos
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
175 this.x = pos.x - this.width / 2;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
176 this.y = pos.y - this.height / 2;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
177 return this;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
178 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
179 Rectangle.prototype.getSize = function() {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
180 // returns the size of this Rectangle
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
181 return new Size(this.width, this.height);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
182 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
183 Rectangle.prototype.equals = function(other) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
184 // equal props
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
185 return (this.getPosition().equals(other.getPosition())
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
186 && this.getSize().equals(other.getSize())
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
187 );
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
188 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
189 Rectangle.prototype.getArea = function() {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
190 // returns the area of this Rectangle
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
191 return (this.width * this.height);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
192 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
193 Rectangle.prototype.normalize = function() {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
194 // eliminates negative width and height
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
195 var p = this.getPt2();
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
196 this.x = Math.min(this.x, p.x);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
197 this.y = Math.min(this.y, p.y);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
198 this.width = Math.abs(this.width);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
199 this.height = Math.abs(this.height);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
200 return this;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
201 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
202 Rectangle.prototype.containsPosition = function(pos) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
203 // returns if Position "pos" lies inside of this rectangle
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
204 return ((pos.x >= this.x)
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
205 && (pos.y >= this.y)
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
206 && (pos.x <= this.x + this.width)
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
207 && (pos.y <= this.y + this.width)
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
208 );
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
209 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
210 Rectangle.prototype.containsRect = function(rect) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
211 // returns if rectangle "rect" is contained in this rectangle
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
212 return (this.containsPosition(rect.getPt1())
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
213 && this.containsPosition(rect.getPt2()));
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
214 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
215 Rectangle.prototype.stayInside = function(rect) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
216 // changes this rectangle's x/y values so it stays inside of rectangle rect
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
217 // keeping the proportions
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
218 if (this.x < rect.x) this.x = rect.x;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
219 if (this.y < rect.y) this.y = rect.y;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
220 if (this.x + this.width > rect.x + rect.width)
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
221 this.x = rect.x + rect.width - this.width;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
222 if (this.y + this.height > rect.y + rect.height)
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
223 this.y = rect.y + rect.height - this.height;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
224 return this;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
225 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
226 Rectangle.prototype.clipTo = function(rect) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
227 // clips this rectangle so it stays inside of rectangle rect
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
228 var p1 = rect.getPt1();
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
229 var p2 = rect.getPt2();
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
230 var this2 = this.getPt2();
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
231 this.setPt1(new Position(Math.max(this.x, p1.x), Math.max(this.y, p1.y)));
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
232 this.setPt2(new Position(Math.min(this2.x, p2.x), Math.min(this2.y, p2.y)));
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
233 return this;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
234 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
235 Rectangle.prototype.intersect = function(rect) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
236 // returns the intersection of the given Rectangle and this one
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
237 // FIX ME: not really, it should return null if there is no overlap
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
238 var sec = rect.copy();
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
239 if (sec.x < this.x) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
240 sec.width = sec.width - (this.x - sec.x);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
241 sec.x = this.x;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
242 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
243 if (sec.y < this.y) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
244 sec.height = sec.height - (this.y - sec.y);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
245 sec.y = this.y;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
246 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
247 if (sec.x + sec.width > this.x + this.width) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
248 sec.width = (this.x + this.width) - sec.x;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
249 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
250 if (sec.y + sec.height > this.y + this.height) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
251 sec.height = (this.y + this.height) - sec.y;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
252 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
253 return sec;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
254 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
255 Rectangle.prototype.fit = function(rect) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
256 // returns a Rectangle that fits into this one (by moving first)
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
257 var sec = rect.copy();
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
258 sec.x = Math.max(sec.x, this.x);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
259 sec.y = Math.max(sec.y, this.x);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
260 if (sec.x + sec.width > this.x + this.width) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
261 sec.x = this.x + this.width - sec.width;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
262 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
263 if (sec.y + sec.height > this.y + this.height) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
264 sec.y = this.y + this.height - sec.height;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
265 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
266 return sec.intersect(this);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
267 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
268
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
269 /*
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
270 * Transform class
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
271 *
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
272 * defines a class of affine transformations
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
273 */
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
274 function Transform() {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
275 this.m00 = 1.0;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
276 this.m01 = 0.0;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
277 this.m02 = 0.0;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
278 this.m10 = 0.0;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
279 this.m11 = 1.0;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
280 this.m12 = 0.0;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
281 this.m20 = 0.0;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
282 this.m21 = 0.0;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
283 this.m22 = 1.0;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
284 return this;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
285 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
286 Transform.prototype.concat = function(traf) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
287 // add Transform traf to this Transform
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
288 for (var i = 0; i < 3; i++) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
289 for (var j = 0; j < 3; j++) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
290 var c = 0.0;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
291 for (var k = 0; k < 3; k++) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
292 c += traf["m"+i+k] * this["m"+k+j];
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
293 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
294 this["m"+i+j] = c;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
295 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
296 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
297 return this;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
298 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
299 Transform.prototype.transform = function(rect) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
300 // returns transformed Rectangle or Position with this Transform applied
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
301 var x = this.m00 * rect.x + this.m01 * rect.y + this.m02;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
302 var y = this.m10 * rect.x + this.m11 * rect.y + this.m12;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
303 if (rect.width) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
304 // transform the other corner points
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
305 var pt2 = rect.getPt2();
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
306 var x2 = this.m00 * pt2.x + this.m01 * pt2.y + this.m02;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
307 var y2 = this.m10 * pt2.x + this.m11 * pt2.y + this.m12;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
308 var width = x2 - x;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
309 var height = y2 - y;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
310 return new Rectangle(x, y, width, height);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
311 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
312 return new Position(x, y);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
313 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
314 Transform.prototype.invtransform = function(rect) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
315 // returns transformed Rectangle or Position with the inverse of this Transform applied
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
316 var det = this.m00 * this.m11 - this.m01 * this.m10;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
317 var x = (this.m11 * rect.x - this.m01 * rect.y - this.m11 * this.m02 + this.m01 * this.m12) / det;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
318 var y = (- this.m10 * rect.x + this.m00 * rect.y + this.m10 * this.m02 - this.m00 * this.m12) / det;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
319 if (rect.width) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
320 /* transforming width and height like points seems to be wrong
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
321 var width = (this.m11 * rect.width - this.m01 * rect.height - this.m11 * this.m02 + this.m01 * this.m12) / det;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
322 var height = (- this.m10 * rect.width + this.m00 * rect.height + this.m10 * this.m02 - this.m00 * this.m12) / det;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
323 */
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
324 // transform the other corner points
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
325 var pt2 = rect.getPt2();
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
326 var x2 = (this.m11 * pt2.x - this.m01 * pt2.y - this.m11 * this.m02 + this.m01 * this.m12) / det;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
327 var y2 = (- this.m10 * pt2.x + this.m00 * pt2.y + this.m10 * this.m02 - this.m00 * this.m12) / det;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
328 var width = x2 - x;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
329 var height = y2 - y;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
330 return new Rectangle(x, y, width, height);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
331 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
332 return new Position(x, y);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
333 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
334 function getRotation(angle, pos) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
335 // returns a Transform that is a rotation by angle degrees around [pos.x, pos.y]
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
336 var traf = new Transform();
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
337 if (angle != 0) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
338 var t = 2.0 * Math.PI * parseFloat(angle) / 360.0;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
339 traf.m00 = Math.cos(t);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
340 traf.m01 = - Math.sin(t);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
341 traf.m10 = Math.sin(t);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
342 traf.m11 = Math.cos(t);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
343 traf.m02 = pos.x - pos.x * Math.cos(t) + pos.y * Math.sin(t);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
344 traf.m12 = pos.y - pos.x * Math.sin(t) - pos.y * Math.cos(t);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
345 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
346 return traf;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
347 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
348 Transform.prototype.getRotation = getRotation;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
349 function getTranslation(pos) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
350 // returns a Transform that is a translation by [pos.x, pos,y]
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
351 var traf = new Transform();
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
352 traf.m02 = pos.x;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
353 traf.m12 = pos.y;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
354 return traf;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
355 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
356 Transform.prototype.getTranslation = getTranslation;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
357 function getScale(size) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
358 // returns a Transform that is a scale by [size.width, size.height]
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
359 var traf = new Transform();
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
360 traf.m00 = size.width;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
361 traf.m11 = size.height;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
362 return traf;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
363 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
364 Transform.prototype.getScale = getScale;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
365
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
366
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
367 /*
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
368 * parameters class
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
369 */
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
370
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
371 function Parameters() {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
372 this.params = new Object();
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
373 this.PARAM_ALL = 65535;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
374 return this;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
375 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
376 Parameters.prototype.define = function(name, defaultValue, detail) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
377 // create a new parameter with a name and a default value
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
378 if (!this.params[name]) this.params[name] = new Object();
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
379 this.params[name].defaultValue = defaultValue;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
380 this.params[name].hasValue = false;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
381 this.params[name].value = defaultValue;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
382 this.params[name].detail = detail;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
383 return this.params[name];
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
384 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
385 Parameters.prototype.reset = function(name) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
386 // resets the given parameter to its default value
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
387 if (!this.params[name]) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
388 alert("Could not reset non-existing parameter '" + name + "'");
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
389 return false;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
390 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
391 this.params[name].hasValue = false;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
392 this.params[name].value = this.params[name].defaultValue;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
393 return this.params[name];
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
394 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
395 Parameters.prototype.resetAll = function() {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
396 // resets all parameters to their default values
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
397 for (var p in this.params) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
398 this.reset(p);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
399 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
400 return true;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
401 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
402 Parameters.prototype.remove = function(name) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
403 if (!defined(this.params[name])) return false;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
404 delete this.params[name];
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
405 return true;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
406 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
407 Parameters.prototype.get = function(name) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
408 // returns the named parameter value or its default value
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
409 if (!defined(this.params[name])) return null;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
410 return this.params[name].hasValue ? this.params[name].value : this.params[name].defaultValue;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
411 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
412 Parameters.prototype.set = function(name, value, relative) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
413 // sets parameter value (relative values with +/- if relative=true)
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
414 if (!defined(this.params[name])) return null;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
415 var p = this.params[name];
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
416 if (relative && value.slice) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
417 // value is a string -- check if it starts with +/-
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
418 var sign = value.slice(0, 1);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
419 if (sign == '+') {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
420 p.value = parseFloat(p.value) + parseFloat(value.slice(1));
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
421 } else if (sign == '-') {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
422 p.value = parseFloat(p.value) - parseFloat(value.slice(1));
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
423 } else {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
424 p.value = value;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
425 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
426 } else {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
427 p.value = value;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
428 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
429 p.hasValue = true;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
430 return p.value;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
431 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
432 Parameters.prototype.isSet = function(name) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
433 // returns if the parameter's value has been set
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
434 if (!defined(this.params[name])) return null;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
435 return this.params[name].hasValue;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
436 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
437 Parameters.prototype.getAll = function(detail) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
438 // returns a string of all parameters in query format
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
439 if (!detail) detail = this.PARAM_ALL;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
440 var pa = new Array();
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
441 for (p in this.params) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
442 if (((this.params[p].detail & detail) > 0)
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
443 && (this.params[p].hasValue)) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
444 var val = this.params[p].value;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
445 if (val != "") {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
446 pa.push(p + "=" + val);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
447 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
448 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
449 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
450 return pa.join("&");
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
451 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
452 Parameters.prototype.parse = function(query) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
453 // gets parameter values from query format string
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
454 var pa = query.split("&");
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
455 for (var i = 0; i < pa.length; i++) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
456 var keyval = pa[i].split("=");
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
457 if (keyval.length == 2) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
458 this.set(keyval[0], keyval[1]);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
459 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
460 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
461 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
462
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
463 /*
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
464 * Flags class
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
465 *
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
466 * Flags are (hash-) collections of unique strings.
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
467 */
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
468 function Flags() {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
469 this.flags = new Object();
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
470 return this;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
471 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
472 Flags.prototype.define = function(name, detail) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
473 // create a new flag with a name and detail level
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
474 this.flags[name] = new Object();
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
475 this.flags[name].set = false;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
476 this.flags[name].detail = detail;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
477 return this.flags[name];
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
478 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
479 Flags.prototype.get = function(name) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
480 return (this.flags[name]) ? this.flags[name].set : false;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
481 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
482 Flags.prototype.set = function(name, value) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
483 if (!defined(value)) value = true;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
484 if (!this.flags[name]) this.flags[name] = new Object;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
485 this.flags[name].set = value;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
486 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
487 Flags.prototype.reset = function(name) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
488 if (!this.flags[name]) this.flags[name] = new Object;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
489 this.flags[name].set = false;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
490 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
491 Flags.prototype.toggle = function(name) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
492 if (!this.flags[name]) this.flags[name] = new Object;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
493 this.flags[name].set = !this.flags[name].set;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
494 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
495 Flags.prototype.resetAll = function() {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
496 for (var f in this.flags) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
497 this.flags[f].set = false;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
498 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
499 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
500 Flags.prototype.parse = function(query, sep) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
501 // sets the flags from the string query
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
502 if (!sep) sep = ",";
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
503 var fa = query.split(sep);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
504 for (var i = 0; i < fa.length ; i++) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
505 var f = fa[i];
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
506 if (f != "") {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
507 this.set(f);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
508 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
509 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
510 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
511 Flags.prototype.getAll = function(detail, sep) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
512 // returns a string of all flags in query format
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
513 if (!detail) detail = 255;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
514 if (!sep) sep = ",";
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
515 var fa = new Array();
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
516 for (f in this.flags) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
517 if (this.flags[f].set) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
518 // if the flag has a detail level it must match
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
519 // otherwise we assume detail=128
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
520 if (this.flags[f].detail) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
521 if ((this.flags[f].detail & detail) > 0) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
522 fa.push(f);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
523 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
524 } else {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
525 if ((detail & 128) > 0) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
526 fa.push(f);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
527 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
528 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
529 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
530 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
531 return fa.join(sep);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
532 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
533
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
534
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
535 /* **********************************************
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
536 * HTML/DOM routines
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
537 * ******************************************** */
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
538
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
539 function getElement(tagid, quiet) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
540 // returns the element object with the id tagid
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
541 var e;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
542 if (document.getElementById) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
543 e = document.getElementById(tagid);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
544 } else if (document.all) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
545 alert("document.all!");
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
546 e = document.all[tagid];
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
547 } else if (document.layers) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
548 e = document.layers[tagid];
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
549 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
550 if (e) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
551 return e;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
552 } else {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
553 if (! quiet) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
554 alert("unable to find element: "+tagid);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
555 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
556 return null;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
557 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
558 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
559
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
560 function getElementPosition(elem) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
561 // returns a Position with the position of the element
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
562 var x = 0;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
563 var y = 0;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
564 if (defined(elem.offsetLeft)) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
565 var e = elem;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
566 while (e) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
567 if (browserType.isIE) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
568 if (browserType.isMac) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
569 if (e.offsetParent.tagName == "BODY") {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
570 // IE for Mac extraspecial
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
571 x += e.clientLeft;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
572 y += e.clientTop;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
573 break;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
574 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
575 } else {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
576 if ((e.tagName != "TABLE") && (e.tagName != "BODY")) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
577 x += e.clientLeft;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
578 y += e.clientTop;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
579 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
580 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
581 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
582 x += e.offsetLeft;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
583 y += e.offsetTop;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
584 e = e.offsetParent;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
585 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
586 } else if (defined(elem.x)) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
587 // use .x for other (which?)
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
588 x = elem.x;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
589 y = elem.y;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
590 } else if (defined(elem.pageX)) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
591 // use pageX for N4
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
592 x = elem.pageX;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
593 y = elem.pageY;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
594 } else {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
595 alert("unable to get position of " + elem + " (id:" + elem.id + ")");
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
596 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
597 return new Position(getInt(x), getInt(y));
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
598 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
599
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
600 function getElementSize(elem) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
601 // returns a Rectangle with the size of the element
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
602 var width = 0;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
603 var height = 0;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
604 if (defined(elem.offsetWidth)) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
605 width = elem.offsetWidth;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
606 height = elem.offsetHeight;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
607 } else if (defined(elem.width)) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
608 width = elem.width;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
609 height = elem.height;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
610 } else if (defined(elem.clip.width)) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
611 width = elem.clip.width;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
612 height = elem.clip.height;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
613 } else {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
614 alert("unable to get size of " + elem + " (id:" + elem.id + ")");
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
615 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
616 return new Size(getInt(width), getInt(height));
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
617 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
618
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
619 function getElementRect(elem) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
620 // returns a Rectangle with the size and position of the element
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
621 // FIX ME: what about borders?
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
622 var pos = getElementPosition(elem);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
623 var size = getElementSize(elem);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
624 return new Rectangle(pos.x, pos.y, size.width, size.height);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
625 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
626
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
627 function moveElement(elem, rect) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
628 // moves and sizes the element
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
629 if (elem.style) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
630 if (defined(rect.x)) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
631 elem.style.left = Math.round(rect.x) + "px";
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
632 elem.style.top = Math.round(rect.y) + "px";
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
633 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
634 if (defined(rect.width)) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
635 elem.style.width = Math.round(rect.width) + "px";
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
636 elem.style.height = Math.round(rect.height) + "px";
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
637 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
638 } else if (document.layers) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
639 if (defined(rect.x)) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
640 elem.pageX = getInt(rect.x);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
641 elem.pageY = getInt(rect.y);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
642 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
643 if (defined(rect.width)) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
644 elem.clip.width = getInt(rect.width);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
645 elem.clip.height = getInt(rect.height);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
646 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
647 } else {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
648 alert("moveElement(): element has no style or layer property!");
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
649 return false;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
650 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
651 return true;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
652 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
653
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
654 function showElement(elem, show) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
655 // shows or hides the element
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
656 if (elem.style)
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
657 elem.style.visibility = show ? "visible" : "hidden";
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
658 else if (defined(elem.visibility))
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
659 elem.visibility = show ? "show" : "hide";
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
660 else
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
661 alert("showElement(): element has no style or layer property!");
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
662 return true;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
663 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
664
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
665 function evtPosition(evt) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
666 // returns the on-screen Position of the Event
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
667 var x;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
668 var y;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
669 evt = (evt) ? evt : window.event;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
670 if (!evt) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
671 alert("no event found! " + evt);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
672 return;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
673 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
674 if (defined(evt.pageX)) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
675 x = parseInt(evt.pageX);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
676 y = parseInt(evt.pageY);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
677 } else if (defined(evt.clientX)) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
678 x = parseInt(document.body.scrollLeft + evt.clientX);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
679 y = parseInt(document.body.scrollTop + evt.clientY);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
680 } else {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
681 alert("evtPosition(): don't know how to deal with " + evt);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
682 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
683 return new Position(x, y);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
684 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
685
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
686 function registerEvent(type, elem, handler) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
687 // register the given event handler on the indicated element
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
688 if (elem.addEventListener) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
689 elem.addEventListener(type, handler, false); // bubble
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
690 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
691 else if (elem.attachEvent) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
692 elem.attachEvent("on" + type, handler);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
693 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
694 else if (elem.captureEvents) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
695 if (Event) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
696 t = type.toUpperCase();
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
697 elem.captureEvents(Event[t]);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
698 elem[ "on" + type ] = handler;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
699 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
700 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
701 else {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
702 alert("Could not register event of type " + type);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
703 return false;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
704 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
705 return true;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
706 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
707
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
708 function unregisterEvent(type, elem, handler) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
709 // unregister the given event handler from the indicated element
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
710 if (elem.removeEventListener) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
711 elem.removeEventListener(type, handler, false);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
712 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
713 else if (elem.detachEvent) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
714 elem.detachEvent("on" + type, handler);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
715 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
716 else if (elem.releaseEvents) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
717 if (Event) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
718 t = type.toUpperCase();
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
719 elem.releaseEvents(Event[t]);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
720 elem[ "on" + type ] = null;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
721 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
722 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
723 else {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
724 alert("Could not register event of type " + type);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
725 return false;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
726 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
727 return true;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
728 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
729
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
730 function registerEventById(type, id, handler) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
731 registerEvent(type, getElement(id), handler);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
732 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
733
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
734 function unregisterEventById(type, id, handler) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
735 unregisterEvent(type, getElement(id), handler);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
736 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
737
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
738 function stopEvent(e) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
739 if (!e) var e = window.event;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
740 e.cancelBubble = true;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
741 if (e.stopPropagation) e.stopPropagation();
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
742 return false;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
743 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
744
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
745 function getEventSrc(e) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
746 if (e.target) return e.target;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
747 if (e.srcElement) return e.srcElement;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
748 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
749
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
750 // old registerXXYY API for compatibility
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
751 function registerMouseDown(elem, handler) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
752 return registerEvent("mousedown", elem, handler);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
753 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
754 function unregisterMouseDown(elem, handler) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
755 return unregisterEvent("mousedown", elem, handler);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
756 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
757 function registerMouseMove(elem, handler) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
758 return registerEvent("mousemove", elem, handler);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
759 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
760 function unregisterMouseMove(elem, handler) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
761 return unregisterEvent("mousemove", elem, handler);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
762 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
763 function registerKeyDown(handler) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
764 return registerEvent("keypress", elem, handler);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
765 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
766
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
767
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
768 function getWinSize() {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
769 // returns a Size with the current window size (mostly from www.quirksmode.org)
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
770 var wsize = new Size(100, 100);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
771 if (defined(self.innerHeight)) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
772 // all except Explorer
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
773 if ((self.innerWidth == 0)||(self.innerHeight == 0)) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
774 // Safari 1.2 (and other) bug
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
775 if (parent) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
776 wsize.height = parent.innerHeight;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
777 wsize.width = parent.innerWidth;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
778 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
779 } else {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
780 wsize.width = self.innerWidth;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
781 wsize.height = self.innerHeight;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
782 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
783 } else if (document.documentElement && document.documentElement.clientHeight) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
784 // Explorer 6 Strict Mode
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
785 wsize.width = document.documentElement.clientWidth;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
786 wsize.height = document.documentElement.clientHeight;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
787 } else if (document.body) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
788 // other Explorers
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
789 wsize.width = document.body.clientWidth;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
790 wsize.height = document.body.clientHeight;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
791 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
792 return wsize;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
793 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
794
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
795 function getWinRect() {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
796 var size = getWinSize();
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
797 return new Rectangle(0, 0, size.width, size.height);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
798 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
799
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
800 function openWin(url, name, params) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
801 // open browser window
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
802 var ow = window.open(url, name, params);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
803 ow.focus();
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
804 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
805
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
806 /* **********************************************
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
807 * cookie class
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
808 * ******************************************** */
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
809
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
810 function Cookie() {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
811 return this.read();
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
812 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
813
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
814 Cookie.prototype.read = function() {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
815 var s = document.cookie;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
816 var lines = s.split("; "); // semicolon and space for all browsers?
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
817 for (var i in lines) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
818 var line = lines[i];
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
819 var sep = line.indexOf("=");
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
820 if (sep != -1) this.add(
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
821 line.substr(0, sep),
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
822 line.substr(sep + 1)
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
823 );
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
824 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
825 return this;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
826 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
827
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
828 Cookie.prototype.store = function() {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
829 var lines = new Array();
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
830 for (var i in this) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
831 var item = this[i];
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
832 if (typeof(item) == typeof(lines)) // Array
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
833 lines.push(i + "=" + item.join(","));
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
834 else if (typeof(item) != "function") // single item
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
835 lines.push(i + "=" + item);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
836 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
837 // var s = lines.join(";")
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
838 for (line in lines) document.cookie = lines[line];
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
839 return this;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
840 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
841
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
842 Cookie.prototype.add = function(key, value) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
843 value = value.toString();
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
844 if (value.indexOf(",") == -1)
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
845 this[key] = value; // single value
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
846 else
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
847 this[key] = value.split(","); // list of values
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
848 return this[key];
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
849 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
850
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
851 Cookie.prototype.get = function(key) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
852 return this[key];
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
853 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
854
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
855 Cookie.prototype.addbool = function(key, value) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
856 this[key] = Boolean(value).toString();
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
857 return this[key];
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
858 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
859
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
860 Cookie.prototype.getbool = function(key) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
861 var val = this[key];
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
862 return (val > "") && (val != "0") && (val != "false");
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
863 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
864
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
865 Cookie.prototype.remove = function(key) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
866 delete this[key];
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
867 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
868
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
869 function Slider(id, valMin, valMax, valStart, stepSize, onChange) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
870 // a (horizontal) slider widget
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
871 this.id = id;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
872 this.elem = getElement(id);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
873 this.slider = getElement(id + "-slider"); // the slider handle
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
874 this.input = getElement(id + "-input", 1); // optional input field
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
875 this.bar = getElement(id + "-bar"); // the slider bar
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
876 this.barRect = getElementRect(this.bar);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
877 this.sliderRect = getElementRect(this.slider);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
878 this.xMin = this.barRect.x;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
879 this.xMax = this.xMin + this.barRect.width;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
880 this.xDiff = this.xMax - this.xMin;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
881 this.Y = this.barRect.getCenter().y; // middle axis of bar
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
882 this.valMin = valMin;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
883 this.valMax = valMax;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
884 this.valDiff = Math.abs(valMax - valMin);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
885 this.valStart = valStart;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
886 this.value = valStart;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
887 this.stepSize = stepSize;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
888 this.valueLabel = getElement(id + "-value", 1);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
889 this.valMinLabel = getElement(id + "-valmin", 1);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
890 this.valMaxLabel = getElement(id + "-valmax", 1);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
891 this.onChange = onChange ? onChange : function() {};
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
892 this.update();
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
893 this.activate();
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
894 sliders[id + '-slider'] = this; // make a handle to the object
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
895 return this;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
896 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
897
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
898 Slider.prototype.show = function(show) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
899 showElement(this.elem, show);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
900 this.activate();
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
901 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
902
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
903 Slider.prototype.activate = function() {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
904 this.setupEvents();
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
905 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
906
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
907 Slider.prototype.deactivate = function() {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
908 unregisterEvent("mousedown", this.slider, this.onDragStart);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
909 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
910
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
911 Slider.prototype.reset = function() {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
912 this.setValue(this.startVal);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
913 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
914
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
915 Slider.prototype.setValue = function(newVal) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
916 // sets slider to new value and updates
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
917 this.value = newVal;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
918 this.update();
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
919 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
920
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
921 Slider.prototype.calcValue = function() {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
922 // calculates value from slider position
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
923 var xSlider = this.sliderRect.getCenter().x - this.xMin;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
924 this.value = xSlider * this.valDiff / this.xDiff;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
925 return this.value;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
926 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
927
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
928 Slider.prototype.update = function() {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
929 // updates slider position to new value
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
930 var xSlider = this.value * this.xDiff / this.valDiff;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
931 moveElement(this.slider, this.sliderRect.setCenter(
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
932 new Position(xSlider + this.xMin, this.Y)));
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
933 var strVal = this.value.toString();
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
934 if (this.valueLabel) this.valueLabel.innerHTML = strVal;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
935 if (this.input) this.input.value = strVal;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
936 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
937
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
938 Slider.prototype.setupEvents = function() {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
939 // installs all event callbacks
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
940 registerEvent("mousedown", this.slider, this.onDragStart);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
941 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
942
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
943 Slider.prototype.onDragStart = function(evt) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
944 var slider = sliders[this.id];
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
945 activeSlider = slider;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
946 unregisterEvent("mousedown", slider.slider, slider.onDragStart);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
947 registerEvent("mousemove", document, slider.onDrag);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
948 registerEvent("mouseup", document, slider.onDragEnd);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
949 slider.startPos = evtPosition(evt);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
950 slider.startX = slider.sliderRect.getCenter().x;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
951 return stopEvent(evt);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
952 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
953
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
954 Slider.prototype.onDrag = function(evt) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
955 var slider = activeSlider;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
956 var pos = evtPosition(evt);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
957 var currX = slider.slider
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
958 var newX = pos.x - slider.startPos + slider.startX;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
959 if (newX < slider.xMin) newX = slider.xMin;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
960 if (newX > slider.xMax) newX = slider.xMax;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
961 moveElement(slider.slider, slider.sliderRect.setCenter(
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
962 new Position(newX, slider.Y)));
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
963 return stopEvent(evt);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
964 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
965
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
966 Slider.prototype.onDragEnd = function(evt) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
967 var slider = activeSlider;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
968 unregisterEvent("mousemove", document, slider.onDrag);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
969 unregisterEvent("mouseup", document, slider.onDragEnd);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
970 slider.onChange(slider.calcValue());
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
971 activeSlider = null;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
972 return stopEvent(evt);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
973 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
974
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
975 Slider.prototype.onInputChange = function() {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
976 var slider = activeSlider;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
977 slider.onChange(s.value);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
978 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
979
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
980 // :tabSize=4:indentSize=4:noTabs=true:
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
981