annotate src/de/mpg/mpiwg/itgroup/digilib/icons/greyskin/dllib.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,2004 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, 8.11.2005
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
21 Martin Raspe <hertzhaft@biblhertz.it>, 12.12.2005
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
22 Robert Casties, 4.9.2009
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
23
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
24 ! Requires baselib.js !
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
25 */
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
26 digilibVersion = "Digilib NG";
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
27 dllibVersion = "2.042";
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
28
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
29 function identify() {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
30 // used for identifying a digilib instance
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
31 // Relato uses that function - lugi
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
32 return digilibVersion;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
33 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
34
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
35 function createMarkDiv(index) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
36 var div = document.createElement("div");
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
37 div.className = "mark";
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
38 div.id = "mark" + index;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
39 div.innerHTML = index + 1;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
40 document.body.appendChild(div);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
41 return div;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
42 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
43
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
44 function bestPicSize(elem, inset) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
45 // returns a Size with the best image size for the given element
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
46 if (! defined(inset)) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
47 inset = 0;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
48 // original value was 25
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
49 // digilib seems to use the available space better without inset
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
50 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
51 var ws = getWinSize();
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
52 var es = getElementPosition(elem);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
53 if (es) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
54 ws.width = ws.width - es.x - inset;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
55 ws.height = ws.height - es.y - inset;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
56 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
57 return ws;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
58 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
59
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
60
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
61 /****************************************************
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
62 * digilib specific classes (must be defined first)
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
63 ****************************************************/
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
64
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
65 /*
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
66 * Marks class
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
67 */
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
68 function Marks() {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
69 return this;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
70 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
71 // Marks inherits from Array
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
72 Marks.prototype = new Array();
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
73 Marks.prototype.parse = function(query) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
74 this.length = 0;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
75 if (query.indexOf(";") >= 0) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
76 var pa = query.split(";"); // old format with ";"
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
77 } else {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
78 var pa = query.split(","); // new format
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
79 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
80 for (var i = 0; i < pa.length ; i++) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
81 var pos = pa[i].split("/");
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
82 if (pos.length > 1) this.push(new Position(pos[0], pos[1]));
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 Marks.prototype.getAll = function() {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
86 var ma = new Array();
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
87 for (var i = 0; i < this.length; i++) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
88 ma.push(cropFloat(this[i].x) + "/" + cropFloat(this[i].y));
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
89 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
90 return ma.join(",");
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
91 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
92 Marks.prototype.addEvent = function(evt, digilib) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
93 // add a mark from a screen event
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
94 if (!digilib) digilib = dl;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
95 var pos = digilib.trafo.invtransform(evtPosition(evt));
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
96 this.push(pos);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
97 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
98
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
99 /*
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
100 * DLParameters -- digilib parameter class
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
101 */
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
102 function DLParameters() {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
103 // flags for parameter sets
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
104 this.PARAM_FILE = 1;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
105 this.PARAM_MODE = 2;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
106 this.PARAM_DIM = 4;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
107 this.PARAM_IMAGE = 8;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
108 this.PARAM_DPI = 16;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
109 this.PARAM_SIZE = 32;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
110 this.PARAM_MARK = 64;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
111 this.PARAM_PAGES = 128;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
112 this.PARAM_CLIENT = 256;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
113 /* request parameters */
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
114 with (this) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
115 // file
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
116 define('fn', '', PARAM_FILE);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
117 define('pn', '1', PARAM_FILE);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
118 // mode
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
119 define('mo', '', PARAM_MODE);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
120 // relative dimensions of zoomed image
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
121 define('wx', '0.0', PARAM_DIM);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
122 define('wy', '0.0', PARAM_DIM);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
123 define('ww', '1.0', PARAM_DIM);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
124 define('wh', '1.0', PARAM_DIM);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
125 // image manipulation
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
126 define('brgt', '0.0', PARAM_IMAGE);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
127 define('cont', '0.0', PARAM_IMAGE);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
128 define('rot', '0.0', PARAM_IMAGE);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
129 define('rgba', '', PARAM_IMAGE);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
130 define('rgbm', '', PARAM_IMAGE);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
131 // resolution
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
132 define('ddpi', '', PARAM_DPI);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
133 define('ddpix', '', PARAM_DPI);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
134 define('ddpiy', '', PARAM_DPI);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
135 // marks
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
136 define('mk', '', PARAM_MARK);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
137 // pages total
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
138 define('pt', '0', PARAM_PAGES);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
139 // size
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
140 define('ws', '1.0', PARAM_SIZE);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
141 // client side options
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
142 define('clop', '', PARAM_CLIENT);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
143 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
144 return this;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
145 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
146 DLParameters.prototype = new Parameters();
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
147 // move the inherited getAll because we need it later
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
148 DLParameters.prototype._getAll = Parameters.prototype.getAll;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
149 DLParameters.prototype.getAll = function(paDetail, moDetail, digilib) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
150 if (!digilib) digilib = dl;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
151 // get Flags and Marks first
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
152 var mo = digilib.flags.getAll(moDetail);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
153 this.set("mo", mo);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
154 var clop = digilib.opts.getAll();
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
155 this.set("clop", clop);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
156 var mk = digilib.marks.getAll();
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
157 this.set("mk", mk);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
158 var ret = this._getAll(paDetail);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
159 return ret;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
160 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
161
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
162 /*
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
163 * DLModes -- digilib flags class
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
164 */
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
165 function DLFlags() {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
166 // flags for mode sets
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
167 this.MODE_QUAL = 1;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
168 this.MODE_SIZE = 2;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
169 this.MODE_MIR = 4;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
170 this.MODE_OTHER = 128;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
171 this.MODE_ALL = 255;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
172 /* mode flags */
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
173 with (this) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
174 define('q0', MODE_QUAL);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
175 define('q1', MODE_QUAL);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
176 define('q2', MODE_QUAL);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
177 define('fit', MODE_SIZE);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
178 define('clip', MODE_SIZE);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
179 define('osize', MODE_SIZE);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
180 define('vmir', MODE_MIR);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
181 define('hmir', MODE_MIR);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
182 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
183 return this;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
184 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
185 // inherits from Flags
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
186 DLFlags.prototype = new Flags();
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 /*
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
190 * Digilib -- digilib base class
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
191 */
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
192 function Digilib() {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
193 if (!baseLibVersion) alert("ERROR: baselib.js not loaded!");
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
194 /* constants */
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
195 this.MAX_AREA = new Rectangle(0.0, 0.0, 1.0, 1.0);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
196 // default inset (for scalerImg relativ to scalerDiv
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
197 this.INSET = 40; // because of scrollbars of main window and scaler [Firefox bug?]
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
198 // mouse drag area that counts as one click
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
199 this.MIN_AREA_SIZE = 3 * 3 + 1;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
200 // standard zoom factor
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
201 this.ZOOMFACTOR = Math.sqrt(2);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
202 // bird's eye view dimensions
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
203 this.BIRD_MAXX = 200;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
204 this.BIRD_MAXY = 200;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
205 // witdh of arrow bars
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
206 this.ARROW_WIDTH = 32;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
207 // width of calibration bar
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
208 this.CALIBRATION_WIDTH = 64;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
209 /* variables */
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
210 this.fitOnlyWidth = false;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
211 this.fitOnlyHeight = false;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
212 this.trafo = null;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
213 // page elements
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
214 this.scalerDiv = null;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
215 this.scalerImg = null;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
216 this.buttons1Div = null;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
217 this.buttons2Div = null;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
218 /* parse parameters */
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
219 this.params = new DLParameters();
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
220 // put the query parameters (sans "?") in the parameters array
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
221 this.params.parse(location.search.slice(1));
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
222 // treat special parameters
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
223 this.area = this.parseArea();
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
224 this.marks = new Marks();
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
225 this.marks.parse(this.params.get("mk"));
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
226 this.flags = new DLFlags();
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
227 this.flags.parse(this.params.get("mo"));
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
228 this.opts = new Flags();
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
229 this.opts.parse(this.params.get("clop"));
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
230 return this;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
231 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
232 Digilib.prototype.setDLParam = function(e, s, relative) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
233 // sets parameter based on HTML event
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
234 var nam;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
235 var val;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
236 if (s.type && (s.type == "select-one")) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
237 nam = s.name;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
238 val = s.options[s.selectedIndex].value;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
239 } else if (s.name && s.value) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
240 nam = s.name;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
241 val = s.value;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
242 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
243 if (nam && val) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
244 dl.params.set(nam, val, relative);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
245 display();
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
246 } else {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
247 alert("ERROR: unable to process event!");
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
248 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
249 return true;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
250 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
251 Digilib.prototype.parseArea = function() {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
252 // returns area Rectangle from current parameters
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
253 return new Rectangle(
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
254 this.params.get("wx"),
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
255 this.params.get("wy"),
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
256 this.params.get("ww"),
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
257 this.params.get("wh"));
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
258 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
259 Digilib.prototype.setParamFromArea = function(rect) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
260 // sets digilib wx etc. from rect
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
261 this.params.set("wx", cropFloat(rect.x));
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
262 this.params.set("wy", cropFloat(rect.y));
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
263 this.params.set("ww", cropFloat(rect.width));
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
264 this.params.set("wh", cropFloat(rect.height));
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
265 return true;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
266 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
267
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
268 Digilib.prototype.parseTrafo = function(elem) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
269 // returns Transform from current dlArea and picsize
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
270 var picsize = getElementRect(elem);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
271 var trafo = new Transform();
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
272 // subtract area offset and size
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
273 trafo.concat(trafo.getTranslation(new Position(-this.area.x, -this.area.y)));
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
274 trafo.concat(trafo.getScale(new Size(1/this.area.width, 1/this.area.height)));
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
275 // scale to screen size
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
276 trafo.concat(trafo.getScale(picsize));
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
277 trafo.concat(trafo.getTranslation(picsize));
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
278 // FIX ME: Robert, kannst Du mal nachsehen, ob das folgende tut, was es soll?
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
279 // oder gibt es dafuer neuen Code? -- ROC: Bisher funktioniert es nicht!
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
280 // rotate
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
281 //var rot = getRotation(- dl.params.get("rot"), new Position(0.5*picsize.width, 0.5*picsize.height));
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
282 //trafo.concat(rot);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
283 // mirror
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
284 //if (hasFlag("hmir")) trafo.m00 = - trafo.m00; // ??
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
285 //if (hasFlag("vmir")) trafo.m11 = - trafo.m11; // ??
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
286 return trafo;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
287 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
288
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
289 Digilib.prototype.onLoad = function() {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
290 // initialize digilib; called by body.onload
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
291 this.scalerDiv = getElement("scaler", true);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
292 this.scalerImg = getElement("pic", true);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
293 this.buttons1Div = getElement("buttons", true);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
294 this.buttons2Div = getElement("options", true);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
295 /*
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
296 * if (this.scalerImg == null && this.scalerDiv) { // in N4 pic is in the
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
297 * scaler layer this.scalerImg = this.scalerDiv.document.images[0]; }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
298 */
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
299 if ((!this.scalerImg)||(!this.scalerDiv)) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
300 alert("Sorry, digilib doesn't work here!");
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
301 return false;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
302 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
303 // fix fixed menus
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
304 var ms1 = getElementSize(this.buttons1Div);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
305 var ms2 = getElementSize(this.buttons2Div);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
306 var maxh = (ms1.height > ms2.height) ? ms1.height : ms2.height;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
307 var wins = getWinSize();
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
308 if ((wins.height <= maxh) || (browserType.isIE && (browserType.versIE < 7))) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
309 // unlock fixed menus to absolute if window is too small or IE
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
310 this.buttons1Div.style.position = "absolute";
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
311 this.buttons2Div.style.position = "absolute";
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
312 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
313 this.setScalerImage(); // setzt auch onImgLoad
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
314 this.setBirdImage(); // laedt das Bird's Eye Bild
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
315 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
316
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
317 Digilib.prototype.setScalerImage = function() {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
318 // set the scaler image source (needs the browser size)
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
319 var picsize = bestPicSize(this.scalerDiv);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
320 var menusize = getElementSize(this.buttons1Div);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
321 // subtract menu width
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
322 picsize.width -= menusize.width;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
323 picsize.height -= this.INSET;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
324 // compose Scaler URL
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
325 var src = "../servlet/Scaler?"
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
326 + this.params.getAll(this.params.PARAM_ALL & ~(this.params.PARAM_MARK | this.params.PARAM_PAGES));
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
327 if (this.opts.get('fitwidth')) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
328 src += "&dw=" + picsize.width;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
329 } else if (this.opts.get('fitheight')) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
330 src += "&dh=" + picsize.height;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
331 } else {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
332 src += "&dw=" + picsize.width + "&dh=" + picsize.height;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
333 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
334 // debug(src);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
335 this.scalerImg.onload = onImgLoad;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
336 this.scalerImg.src = src;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
337
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
338 var digilib = this;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
339 // this is a local callback function that can use the current scope
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
340
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
341 function onImgLoad() {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
342 if (! digilib)
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
343 return;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
344 // make sure the image is loaded so we know its size
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
345 /* this test seems to have problems sometimes :-(
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
346 if (defined(digilib.scalerImg.complete) && !digilib.scalerImg.complete) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
347 alert("ERROR: the image seems not to be complete in onImgLoad!?");
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
348 } */
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
349 digilib.trafo = digilib.parseTrafo(digilib.scalerImg);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
350 // display marks
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
351 digilib.renderMarks();
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
352 digilib.showBirdDiv(isBirdDivVisible);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
353 digilib.showArrows(); // show arrow overlays for zoom navigation
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
354 //digilib.moveCenter(true); // click to move point to center
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
355 // new Slider("sizes", 1, 5, 2);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
356
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
357 //Drag Image (8.9.2009)
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
358 if (!digilib.isFullArea())
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
359 registerEvent("mousedown", digilib.scalerDiv, dragImage);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
360
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
361 focus();
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
362 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
363 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
364
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
365 Digilib.prototype.renderMarks = function() {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
366 // make sure the image is loaded so we know its size
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
367 if (!this.trafo) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
368 alert("ERROR: trafo missing, cannot render marks!");
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
369 return;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
370 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
371 // debugProps(dlArea, "dlArea");
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
372 for (var i = 0; i < this.marks.length; i++) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
373 var div = getElement("mark" + i, true) || createMarkDiv(i);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
374 var mark = this.marks[i];
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
375 // debugProps(mark, "mark");
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
376 if (this.area.containsPosition(mark)) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
377 var mpos = this.trafo.transform(mark);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
378 // debugProps(mark, "mpos");
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
379 // better not hide the marked spot (MR)
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
380 // suboptimal to place -5 pixels and not half size of mark-image
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
381 // mpos.x = mpos.x -5;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
382 // mpos.y = mpos.y -5;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
383 moveElement(div, mpos);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
384 showElement(div, true);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
385 } else {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
386 // hide the other marks
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
387 showElement(div, false);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
388 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
389 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
390 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
391
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
392 Digilib.prototype.display = function(detail, moDetail) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
393 // redisplay the page
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
394 var queryString = this.params.getAll(detail, moDetail);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
395 location.href
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
396 = location.protocol + "//"
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
397 + location.host
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
398 + location.pathname
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
399 + "?" + queryString;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
400 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
401
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
402 /* **********************************************
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
403 * interactive digilib functions
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
404 * ******************************************** */
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
405
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
406 Digilib.prototype.setMark = function() {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
407 // add a mark where clicked
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
408 window.focus();
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
409 this.moveCenter(false);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
410
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
411 // start event capturing
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
412 registerEvent("mousedown", this.scalerDiv, markEvent);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
413
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
414 // our own reference to this for the local function
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
415 var digilib = this;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
416
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
417 function markEvent(evt) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
418 // event handler adding a new mark
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
419 unregisterEvent("mousedown", digilib.scalerDiv, markEvent);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
420 digilib.marks.addEvent(evt);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
421 digilib.display();
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
422 return stopEvent(evt);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
423 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
424
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
425 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
426
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
427 Digilib.prototype.removeMark = function() {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
428 // remove the last mark
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
429 this.marks.pop();
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
430 this.display();
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
431 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
432
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
433 Digilib.prototype.resetImage = function() {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
434 // reset the image to its original state
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
435 this.display(this.params.PARAM_FILE); // keep only fn/pn
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
436 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
437
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
438 Digilib.prototype.dragImage = function(evt) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
439 // drag the image and load a new detail on mouse up
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
440 // makes sense only when zoomed
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
441 if (this.isFullArea())
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
442 return;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
443 if(evt.preventDefault) evt.preventDefault(); // no Firefox drag and drop
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
444 var digilib = this; // our own reference to this for the local function
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
445 var startPos = evtPosition(evt);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
446 var pic = this.scalerImg;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
447 var picRect = getElementRect(pic);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
448 // fit the grey div to the scaler image
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
449 var div = getElement("bg");
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
450 var dx = 0;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
451 var dy = 0;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
452 moveElement(div, picRect);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
453 // hide the scaler image, show it as background of div instead
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
454 showElement(pic, false);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
455 showElement(div, true);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
456 div.style.backgroundImage = "url(" + pic.src + ")";
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
457 div.style.cursor = "move";
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
458 // start event capturing
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
459 registerEvent("mousemove", document, moveDragEvent);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
460 registerEvent("mouseup", document, moveEndEvent);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
461 window.focus();
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
462
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
463 function moveDragEvent(evt) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
464 // mousemove handler: drag
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
465 var pos = evtPosition(evt);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
466 // don't use Firefox Drag and Drop feature
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
467 if(evt.preventDefault) evt.preventDefault();
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
468 dx = pos.x - startPos.x;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
469 dy = pos.y - startPos.y;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
470 // move the background image to the new position
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
471 div.style.backgroundPosition = dx + "px " + dy + "px";
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
472 return stopEvent(evt);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
473 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
474
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
475 function moveEndEvent(evt) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
476 // mouseup handler: reload digilib
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
477 div.style.cursor = "default";
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
478 unregisterEvent("mousemove", document, moveDragEvent);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
479 unregisterEvent("mouseup", document, moveEndEvent);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
480 // calculate relative offset
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
481 var x = -dx / pic.width;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
482 var y = -dy / pic.height;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
483 stopEvent(evt);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
484 if (dx == 0 && dy == 0)
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
485 return // no movement
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
486 // reload with scaler image showing the new ausschnitt
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
487 return digilib.moveBy(x, y);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
488 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
489 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
490
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
491 Digilib.prototype.zoomArea = function() {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
492 var pt1, pt2;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
493 var zoomdiv = getElement("zoom");
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
494 var overlay = getElement("overlay");
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
495 // use overlay div to avoid <img> mousemove problems
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
496 var picRect = getElementRect(this.scalerImg);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
497 // FIX ME: is there a way to query the border width from CSS info?
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
498 // rect.x -= 2; // account for overlay borders
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
499 // rect.y -= 2;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
500 moveElement(overlay, picRect);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
501 showElement(overlay, true);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
502 // start event capturing
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
503 registerEvent("mousedown", overlay, zoomStart);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
504 registerEvent("mousedown", this.scalerImg, zoomStart);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
505 window.focus();
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
506
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
507 // our own reference to "this" for the local functions
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
508 var digilib = this;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
509
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
510 // mousedown handler: start moving
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
511 function zoomStart(evt) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
512 pt1 = evtPosition(evt);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
513 unregisterEvent("mousedown", overlay, zoomStart);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
514 unregisterEvent("mousedown", digilib.scalerImg, zoomStart);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
515 // setup and show zoom div
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
516 moveElement(zoomdiv, Rectangle(pt1.x, pt1.y, 0, 0));
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
517 showElement(zoomdiv, true);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
518 // register events
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
519 registerEvent("mousemove", document, zoomMove);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
520 registerEvent("mouseup", document, zoomEnd);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
521 return stopEvent(evt);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
522 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
523
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
524 // mouseup handler: end moving
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
525 function zoomEnd(evt) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
526 pt2 = evtPosition(evt);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
527 // assume a click if the area is too small (up to 3 x 3 pixel)
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
528 var clickRect = new Rectangle(pt1, pt2);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
529 clickRect.normalize();
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
530 if (clickRect.getArea() <= digilib.MIN_AREA_SIZE) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
531 return stopEvent(evt);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
532 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
533 // hide zoom div
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
534 showElement(zoomdiv, false);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
535 showElement(overlay, false);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
536 // unregister events
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
537 unregisterEvent("mousemove", document, zoomMove);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
538 unregisterEvent("mouseup", document, zoomEnd);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
539 // clip and transform
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
540 clickRect.clipTo(picRect);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
541 var area = digilib.trafo.invtransform(clickRect);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
542 digilib.setParamFromArea(area);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
543 // zoomed is always fit
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
544 digilib.params.set("ws", 1);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
545 digilib.display();
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
546 return stopEvent(evt);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
547 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
548
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
549 // mouse move handler
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
550 function zoomMove(evt) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
551 pt2 = evtPosition(evt);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
552 var rect = new Rectangle(pt1, pt2);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
553 rect.normalize();
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
554 rect.clipTo(picRect);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
555 // update zoom div
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
556 moveElement(zoomdiv, rect);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
557 return stopEvent(evt);
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
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
561 Digilib.prototype.zoomBy = function(factor) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
562 // zooms by the given factor
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
563 var newarea = this.area.copy();
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
564 newarea.width /= factor;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
565 newarea.height /= factor;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
566 newarea.x -= 0.5 * (newarea.width - this.area.width);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
567 newarea.y -= 0.5 * (newarea.height - this.area.height);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
568 newarea = this.MAX_AREA.fit(newarea);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
569 this.setParamFromArea(newarea);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
570 this.display();
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
571 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
572
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
573
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
574 Digilib.prototype.zoomFullpage = function(fit) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
575 // zooms out to show the whole image
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
576 this.params.set("wx", 0.0);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
577 this.params.set("wy", 0.0);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
578 this.params.set("ww", 1.0);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
579 this.params.set("wh", 1.0);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
580 if (fit == "width") {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
581 this.opts.set('fitwidth');
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
582 } else if (fit == "height") {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
583 this.opts.set('fitheight');
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
584 } else {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
585 this.opts.reset('fitwidth');
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
586 this.opts.reset('fitheight');
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
587 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
588 this.display();
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
589 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
590
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
591
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
592 Digilib.prototype.moveCenter = function(on) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
593 // move visible area so that it's centered around the clicked point
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
594 if (this.isFullArea()) return; // nothing to do
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
595 // starting event capture
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
596 if (on) registerEvent("mousedown", this.scalerImg, moveCenterEvent);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
597 else unregisterEvent("mousedown", this.scalerImg, moveCenterEvent);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
598 window.focus();
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
599
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
600 // our own reference to this for the local function
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
601 var digilib = this;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
602
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
603 function moveCenterEvent(evt) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
604 // move to handler
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
605 var pt = digilib.trafo.invtransform(evtPosition(evt));
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
606 var newarea = digilib.area.copy();
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
607 newarea.setCenter(pt);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
608 newarea.stayInside(this.MAX_AREA);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
609 // newarea = dlMaxArea.fit(newarea);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
610 // debugProps(newarea, "newarea");
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
611 // debugProps(dlArea, "dlArea");
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
612 if (newarea.equals(digilib.area)) return; // keep event handler
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
613 unregisterEvent("mousedown", digilib.scalerImg, moveCenterEvent);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
614 // set parameters
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
615 digilib.setParamFromArea(newarea);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
616 digilib.display();
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
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
620 Digilib.prototype.isFullArea = function(area) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
621 if (!area) area = this.area;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
622 return (area.width == 1.0) && (area.height == 1.0);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
623 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
624
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
625 Digilib.prototype.canMove = function(movx, movy) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
626 if (this.isFullArea()) return false;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
627 var x2 = this.area.x + this.area.width;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
628 var y2 = this.area.y + this.area.height;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
629 // debugProps(dlArea);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
630 return ((movx < 0) && (this.area.x > 0))
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
631 || ((movx > 0) && (x2 < 1.0))
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
632 || ((movy < 0) && (this.area.y > 0))
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
633 || ((movy > 0) && (y2 < 1.0))
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
634 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
635
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
636 Digilib.prototype.moveBy = function(movx, movy) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
637 // move visible area by movx and movy (in units of ww, wh)
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
638 if (!this.canMove(movx, movy)) return; // nothing to do
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
639 var newarea = this.area.copy();
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
640 newarea.x += parseFloat(movx)*this.area.width;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
641 newarea.y += parseFloat(movy)*this.area.height;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
642 newarea = this.MAX_AREA.fit(newarea);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
643 // set parameters
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
644 this.setParamFromArea(newarea);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
645 this.display();
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
646 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
647
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
648 Digilib.prototype.getRef = function(baseUrl) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
649 // returns a reference to the current digilib set
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
650 if (!baseUrl) baseUrl
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
651 = location.protocol
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
652 + "//"
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
653 + location.host
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
654 + location.pathname;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
655 var hyperlinkRef = baseUrl;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
656 with (this.params) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
657 // all without ddpi, pt
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
658 var ps = getAll(PARAM_ALL & ~(PARAM_DPI | PARAM_PAGES | PARAM_CLIENT));
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
659 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
660 if (ps.length > 0) hyperlinkRef += "?" + ps;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
661 return hyperlinkRef;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
662 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
663
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
664 Digilib.prototype.getRefWin = function(type, msg) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
665 // shows an alert with a reference to the current digilib set
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
666 if (! msg) msg = "URL reference to the current view";
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
667 prompt(msg, this.getRef());
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
668 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
669
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
670 Digilib.prototype.getQuality = function() {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
671 // returns the current q setting
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
672 for (var i = 0; i < 3; i++) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
673 if (this.flags.get("q"+i)) return i;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
674 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
675 return 1
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
676 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
677
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
678 Digilib.prototype.setQuality = function(qual) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
679 // set the image quality
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
680 if ((qual < 0)||(qual > 2)) return alert("Quality setting not supported");
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
681 for (var i = 0; i < 3; i++) this.flags.reset("q" + i);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
682 this.flags.set("q" + qual);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
683 this.display();
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 Digilib.prototype.setQualityWin = function(msg) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
687 // dialog for setting quality
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
688 if (! msg) msg = "Quality (0..2)";
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
689 var q = this.getQuality();
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
690 var newq = window.prompt(msg, q);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
691 if (newq) this.setQuality(newq);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
692 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
693
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
694 Digilib.prototype.mirror = function(dir) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
695 // mirror the image horizontally or vertically
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
696 if (dir == "h") {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
697 this.flags.toggle("hmir");
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
698 } else {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
699 this.flags.toggle("vmir");
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
700 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
701 this.display();
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
702 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
703
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
704 Digilib.prototype.gotoPage = function(gopage, keep) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
705 // goto given page nr (+/-: relative)
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
706 var oldpn = parseInt(this.params.get("pn"));
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
707 // set with relative=true uses the sign
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
708 this.params.set("pn", gopage, true);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
709 // now check the outcome
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
710 var pn = parseInt(this.params.get("pn"));
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
711 if (pn < 1) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
712 alert("No such page! (Page number too low)");
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
713 this.params.set("pn", oldpn);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
714 return;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
715 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
716 if (this.params.isSet("pt")) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
717 pt = parseInt(this.params.get("pt"))
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
718 if (pn > pt) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
719 alert("No such page! (Page number too high)");
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
720 this.params.set("pn", oldpn);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
721 return;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
722 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
723 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
724 if (keep) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
725 this.display(this.params.PARAM_ALL & ~this.params.PARAM_MARK); // all, no mark
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
726 } else {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
727 this.display(this.params.PARAM_FILE | this.params.PARAM_MODE | this.params.PARAM_PAGES, this.params.MODE_QUAL | this.params.MODE_OTHER); // fn, pn, ws, mo + pt
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
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
731 Digilib.prototype.gotoPageWin = function() {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
732 // dialog to ask for new page nr
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
733 var pn = this.params.get("pn");
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
734 var gopage = window.prompt("Go to page", pn);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
735 if (gopage) this.gotoPage(gopage);
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 Digilib.prototype.setParamWin = function(param, text, relative) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
739 // dialog to ask for new parameter value
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
740 var val = this.params.get(param);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
741 var newval = window.prompt(text, val);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
742 if (newval) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
743 this.params.set(param, newval, relative);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
744 this.display();
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
745 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
746 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
747
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
748 Digilib.prototype.showOptions = function(show) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
749 // show or hide option div
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
750 var elem = getElement("dloptions");
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
751 showElement(elem, show);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
752 // FIX ME: get rid of the dotted line around the buttons when focused
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
753 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
754
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
755 Digilib.prototype.showAboutDiv = function(show) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
756 // show or hide "about" div
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
757 var elem = getElement("about");
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
758 if (elem == null) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
759 if (show) alert("About Digilib - dialog missing in HTML code!"
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
760 + "\nDigilib Version: " + digilibVersion
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
761 + "\JSP Version: " + jspVersion
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
762 + "\ndlLib Version: " + dllibVersion
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
763 + "\nbaseLib Version: " + baseLibVersion);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
764 return;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
765 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
766 if (show) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
767 getElement("digilib-version").innerHTML = "Digilib Version: " + digilibVersion;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
768 getElement("jsp-version").innerHTML = "JSP Version: " + jspVersion;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
769 getElement("baselib-version").innerHTML = "baseLib Version: " + baseLibVersion;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
770 getElement("dllib-version").innerHTML = "dlLib Version: " + dllibVersion;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
771 var aboutRect = getElementRect(elem);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
772 aboutRect.setCenter(getWinRect().getCenter());
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
773 moveElement(elem, aboutRect);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
774 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
775 showElement(elem, show);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
776 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
777
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
778 Digilib.prototype.setBirdImage = function() {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
779 var img = getElement("bird-image");
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
780 var src = "../servlet/Scaler?"
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
781 + this.params.getAll(this.params.PARAM_FILE)
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
782 + "&dw=" + this.BIRD_MAXX
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
783 + "&dh=" + this.BIRD_MAXY;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
784 img.src = src;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
785 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
786
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
787 Digilib.prototype.showBirdDiv = function(show) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
788 // show or hide "bird's eye" div
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
789 var startPos; // anchor for dragging
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
790 var newRect; // position after drag
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
791 var birdImg = getElement("bird-image");
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
792 var birdArea = getElement("bird-area");
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
793 var overlay = getElement("bird-overlay");
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
794 showElement(birdImg, show);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
795 // dont show selector if area has full size
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
796 if (!show || this.isFullArea()) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
797 // hide area
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
798 showElement(birdArea, false);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
799 showElement(overlay, false);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
800 return;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
801 };
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
802 var birdImgRect = getElementRect(birdImg);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
803 var area = this.area;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
804 if (this.flags.get("osize") || this.flags.get("clip")) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
805 // in original-size and pixel-by-pixel mode the area size is not valid
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
806 var birdAreaRect = new Rectangle(
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
807 birdImgRect.x + birdImgRect.width * area.x,
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
808 birdImgRect.y + birdImgRect.height * area.y,
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
809 5,
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
810 5);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
811 } else {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
812 // scale area down to img size
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
813 var birdAreaRect = new Rectangle(
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
814 // what about borders ??
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
815 birdImgRect.x + birdImgRect.width * area.x,
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
816 birdImgRect.y + birdImgRect.height * area.y,
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
817 birdImgRect.width * area.width,
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
818 birdImgRect.height * area.height);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
819 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
820 moveElement(birdArea, birdAreaRect);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
821 showElement(birdArea, true);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
822 moveElement(overlay, birdImgRect);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
823 showElement(overlay, true);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
824 registerEvent("mousedown", overlay, birdAreaStartDrag);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
825 registerEvent("mousedown", birdImg, birdAreaStartDrag);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
826
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
827 // our own reference to this for local functions
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
828 var digilib = this;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
829
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
830 function birdAreaStartDrag(evt) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
831 // mousedown handler: start drag
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
832 startPos = evtPosition(evt);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
833 unregisterEvent("mousedown", overlay, birdAreaStartDrag);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
834 unregisterEvent("mousedown", birdImg, birdAreaStartDrag);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
835 registerEvent("mousemove", document, birdAreaMove);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
836 registerEvent("mouseup", document, birdAreaEndDrag);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
837 // debugProps(getElementRect(bird))
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
838 return stopEvent(evt);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
839 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
840
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
841 function birdAreaMove(evt) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
842 // mousemove handler: drag
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
843 var pos = evtPosition(evt);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
844 var dx = pos.x - startPos.x;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
845 var dy = pos.y - startPos.y;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
846 // move birdArea div, keeping size
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
847 newRect = new Rectangle(
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
848 birdAreaRect.x + dx,
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
849 birdAreaRect.y + dy,
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
850 birdAreaRect.width,
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
851 birdAreaRect.height);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
852 // stay within image
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
853 newRect.stayInside(birdImgRect);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
854 moveElement(birdArea, newRect);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
855 showElement(birdArea, true);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
856 return stopEvent(evt);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
857 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
858
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
859 function birdAreaEndDrag(evt) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
860 // mouseup handler: reload page
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
861 unregisterEvent("mousemove", document, birdAreaMove);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
862 unregisterEvent("mouseup", document, birdAreaEndDrag);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
863 showElement(overlay, false);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
864 if (newRect == null) { // no movement happened
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
865 startPos = birdAreaRect.getCenter();
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
866 birdAreaMove(evt); // set center to click position
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
867 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
868 digilib.params.set("wx", cropFloat((newRect.x - birdImgRect.x) / birdImgRect.width));
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
869 digilib.params.set("wy", cropFloat((newRect.y - birdImgRect.y) / birdImgRect.height));
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
870 // zoomed is always fit
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
871 digilib.params.set("ws", 1);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
872 digilib.display();
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
873 return stopEvent(evt);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
874 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
875 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
876
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
877 Digilib.prototype.showArrow = function(name, rect, show) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
878 var arrow = getElement(name);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
879 moveElement(arrow, rect);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
880 showElement(arrow, show);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
881 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
882
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
883 Digilib.prototype.showArrows = function() {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
884 // show the 4 arrow bars on top of scaler img according to current dlArea
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
885 var r = getElementRect(this.scalerImg);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
886 this.showArrow('up',
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
887 new Rectangle(r.x, r.y, r.width, this.ARROW_WIDTH),
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
888 this.canMove(0, -1)
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
889 );
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
890 this.showArrow('down',
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
891 new Rectangle(r.x, r.y + r.height - this.ARROW_WIDTH, r.width, this.ARROW_WIDTH),
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
892 this.canMove(0, 1)
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
893 );
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
894 this.showArrow('left',
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
895 new Rectangle(r.x, r.y, this.ARROW_WIDTH, r.height),
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
896 this.canMove(-1, 0)
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
897 );
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
898 this.showArrow('right',
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
899 new Rectangle(r.x + r.width - this.ARROW_WIDTH, r.y, this.ARROW_WIDTH, r.height),
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
900 this.canMove(1, 0)
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
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
904 Digilib.prototype.calibrate = function() {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
905 // calibrate screen resolution
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
906 var calDiv = getElement("calibration");
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
907 var calRect = getElementRect(calDiv);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
908 moveCenter(false);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
909 var wins = getWinSize();
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
910 calRect.setCenter(new Position(wins.width / 2, wins.height / 2));
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
911 moveElement(calDiv, calRect);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
912 showElement(calDiv, true);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
913 var cm = window.prompt("The length of the scale on your screen in centimeter:");
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
914 if (cm) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
915 var dpi = calRect.width / parseFloat(cm) * 2.54;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
916 this.params.set("ddpi", cropFloat(dpi));
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
917 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
918 showElement(calDiv, false);
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
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
922 Digilib.prototype.setScale = function(scale) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
923 // sets original-size, pixel-by-pixel or fit-to-screen scale type
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
924 if (scale == "pixel") {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
925 // pixel by pixel
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
926 this.flags.set("clip");
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
927 this.flags.reset("osize");
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
928 this.flags.reset("fit");
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
929 } else if (scale == "original") {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
930 // original size -- needs calibrated screen
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
931 if (!this.params.isSet("ddpi")) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
932 var dpi = cookie.get("ddpi");
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
933 if (dpi == null) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
934 alert("Your screen has not yet been calibrated - using default value of 72 dpi");
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
935 dpi = 72;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
936 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
937 this.params.set("ddpi", dpi);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
938 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
939 this.flags.set("osize");
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
940 this.flags.reset("clip");
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
941 this.flags.reset("fit");
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
942 } else {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
943 // scale to screen size (default)
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
944 this.flags.reset("clip");
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
945 this.flags.reset("osize");
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
946 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
947 this.display();
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
948 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
949
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
950 Digilib.prototype.getScale = function() {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
951 // returns scale type
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
952 if (this.flags.get("clip")) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
953 return "pixel";
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
954 } else if (this.flags.get("osize")) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
955 return "original";
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
956 } else {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
957 return "fit";
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
958 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
959 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
960
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
961 Digilib.prototype.pageWidth = function() {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
962 this.zoomFullpage('width');
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
963 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
964
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
965 Digilib.prototype.setSize = function(factor) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
966 this.params.set("ws", factor);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
967 this.display();
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
968 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
969
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
970 Digilib.prototype.showMenu = function(menuId, buttonId, show) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
971 var menu = getElement(menuId);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
972 if (show) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
973 // align right side of menu with button
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
974 var buttonPos = getElementPosition(getElement(buttonId));
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
975 var menusize = getElementSize(menu);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
976 moveElement(menu, new Position(buttonPos.x - menusize.width - 3, buttonPos.y));
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
977 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
978 showElement(menu, show);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
979 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
980
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
981
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
982 /********************************
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
983 * global variables
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
984 ********************************/
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
985
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
986 var dl = new Digilib();
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
987
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
988 /* old parameter function compatibility stuff */
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
989 function newParameter(a,b,c) {return dl.params.define(a,b,c)};
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
990 function resetParameter(a) {return dl.params.reset(a)};
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
991 function deleteParameter(a) {return dl.params.remove(a)};
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
992 function getParameter(a) {return dl.params.get(a)};
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
993 function setParameter(a,b,c) {return dl.params.set(a,b,c)};
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
994 function hasParameter(a) {return dl.params.isSet(a)};
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
995 function getAllParameters(a) {return dl.params.getAll(a)};
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
996 getQueryString = getAllParameters;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
997 function parseParameters(a) {return dl.params.parse(a)};
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
998 function getAllMarks() {return dl.marks.getAll()};
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
999 getMarksQueryString = getAllMarks;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
1000 function addMark(evt) {return dl.marks.addEvent(evt)};
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
1001 function deleteMark() {return dl.marks.pop()};
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
1002 function deleteAllMarks() {return dl.marks = new Marks()};
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
1003 function hasFlag(mode) {return dl.flags.get(mode)};
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
1004 function addFlag(mode) {return dl.flags.set(mode)};
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
1005 function removeFlag(mode) {return dl.flags.reset(mode)};
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
1006 function toggleFlag(mode) {return dl.flags.toggle(mode)};
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
1007 function getAllFlags() {return dl.flags.getAll()};
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
1008 /* old digilib function compatibility */
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
1009 function setDLParam(e, s, relative) {dl.setDLParam(e, s, relative)};
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
1010 function display(detail, moDetail) {dl.display(detail, moDetail)};
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
1011 function setMark(reload) {dl.setMark(reload)};
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
1012 function removeMark(reload) {dl.removeMark(reload)};
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
1013 function resetImage() {dl.resetImage()};
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
1014 function dragImage(evt) {dl.dragImage(evt)};
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
1015 function zoomArea() {dl.zoomArea()};
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
1016 function zoomBy(factor) {dl.zoomBy(factor)};
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
1017 function zoomFullpage(a) {dl.zoomFullpage(a)};
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
1018 function moveCenter(on) {dl.moveCenter(on)};
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
1019 function isFullArea(area) {dl.isFullArea(area)};
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
1020 function canMove(movx, movy) {dl.canMove(movx, movy)};
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
1021 function moveBy(movx, movy) {dl.moveBy(movx, movy)};
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
1022 function getRef(baseURL) {dl.getRef(baseURL)};
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
1023 function getRefWin(type, msg) {dl.getRefWin(type, msg)};
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
1024 function getQuality() {dl.getQuality()};
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
1025 function setQuality(qual) {dl.setQuality(qual)};
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
1026 function setQualityWin(msg) {dl.setQualityWin(msg)};
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
1027 function mirror(dir) {dl.mirror(dir)};
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
1028 function gotoPage(gopage, keep) {dl.gotoPage(gopage, keep)};
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
1029 function gotoPageWin() {dl.gotoPageWin()};
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
1030 function setParamWin(param, text, relative) {dl.setParamWin(param, text, relative)};
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
1031 function showOptions(show) {dl.showOptions(show)};
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
1032 function showBirdDiv(show) {dl.showBirdDiv(show)};
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
1033 function showAboutDiv(show) {dl.showAboutDiv(show)};
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
1034 function calibrate(direction) {dl.calibrate(direction)};
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
1035 function setScale(a) {dl.setScale(a)};
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
1036 function getScale(a) {dl.getScale(a)};
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
1037 function originalSize(on) {dl.originalSize(on)};
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
1038 function pixelByPixel(on) {dl.pixelByPixel(on)};
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
1039 function pageWidth() {dl.pageWidth()};
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
1040 function setSize(factor) {dl.setSize(factor)};
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
1041 function showMenu(a,b,c) {dl.showMenu(a,b,c)};
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
1042
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
1043
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
1044 // :tabSize=4:indentSize=4:noTabs=true:
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
1045