|
400
|
1 /* Copyright (C) 2003,2004 IT-Group MPIWG, WTWG Uni Bern and others
|
|
|
2
|
|
|
3 This program is free software; you can redistribute it and/or
|
|
|
4 modify it under the terms of the GNU General Public License
|
|
|
5 as published by the Free Software Foundation; either version 2
|
|
|
6 of the License, or (at your option) any later version.
|
|
|
7
|
|
|
8 This program is distributed in the hope that it will be useful,
|
|
|
9 but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
|
10 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
|
11 GNU General Public License for more details.
|
|
|
12
|
|
|
13 You should have received a copy of the GNU General Public License
|
|
|
14 along with this program; if not, write to the Free Software
|
|
|
15 Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA
|
|
|
16
|
|
|
17 Authors:
|
|
|
18 Christian Luginbuehl, 01.05.2003 (first version)
|
|
|
19 DW 24.03.2004 (Changed for digiLib in Zope)
|
|
|
20 Robert Casties, 8.11.2005
|
|
|
21
|
|
|
22 ! Requires baselib.js !
|
|
|
23
|
|
|
24 */
|
|
|
25
|
|
|
26
|
|
|
27 function identify() {
|
|
|
28 // used for identifying a digilib instance
|
|
|
29 // Relato uses that function - lugi
|
|
|
30 return "Digilib 0.6";
|
|
|
31 }
|
|
|
32 /*
|
|
|
33 * more parameter handling
|
|
|
34 */
|
|
|
35
|
|
|
36 function parseArea() {
|
|
|
37 // returns area Rectangle from current parameters
|
|
|
38 return new Rectangle(getParameter("wx"), getParameter("wy"), getParameter("ww"), getParameter("wh"));
|
|
|
39 }
|
|
|
40
|
|
|
41 function setParamFromArea(rect) {
|
|
|
42 // sets digilib wx etc. from rect
|
|
|
43 setParameter("wx", cropFloat(rect.x));
|
|
|
44 setParameter("wy", cropFloat(rect.y));
|
|
|
45 setParameter("ww", cropFloat(rect.width));
|
|
|
46 setParameter("wh", cropFloat(rect.height));
|
|
|
47 return true;
|
|
|
48 }
|
|
|
49
|
|
|
50 function parseTrafo(elem) {
|
|
|
51 // returns Transform from current dlArea and picsize
|
|
|
52 var picsize = getElementRect(elem);
|
|
|
53 var trafo = new Transform();
|
|
|
54 // subtract area offset and size
|
|
|
55 trafo.concat(getTranslation(new Position(-dlArea.x, -dlArea.y)));
|
|
|
56 trafo.concat(getScale(new Size(1/dlArea.width, 1/dlArea.height)));
|
|
|
57 // scale to screen size
|
|
|
58 trafo.concat(getScale(picsize));
|
|
|
59 trafo.concat(getTranslation(picsize));
|
|
|
60 // rotate
|
|
|
61 //trafo.concat(getRotation(- getParameter("rot"), new Position(0.5*picsize.width, 0.5*picsize.height)));
|
|
|
62 // mirror
|
|
|
63 //if (hasFlag("hmir")) {
|
|
|
64 //trafo.m00 = - trafo.m00;
|
|
|
65 //}
|
|
|
66 //if (hasFlag("vmir")) {
|
|
|
67 //trafo.m11 = - trafo.m11;
|
|
|
68 //}
|
|
|
69 return trafo;
|
|
|
70 }
|
|
|
71
|
|
|
72
|
|
|
73 function parseMarks() {
|
|
|
74 // returns marks array from current parameters
|
|
|
75 var marks = new Array();
|
|
|
76 var ma;
|
|
|
77 var mk = getParameter("mk");
|
|
|
78 if (mk.indexOf(";") >= 0) {
|
|
|
79 // old format with ";"
|
|
|
80 ma = mk.split(";");
|
|
|
81 } else {
|
|
|
82 ma = mk.split(",");
|
|
|
83 }
|
|
|
84 for (var i = 0; i < ma.length ; i++) {
|
|
|
85 var pos = ma[i].split("/");
|
|
|
86 if (pos.length > 1) {
|
|
|
87 marks.push(new Position(pos[0], pos[1]));
|
|
|
88 }
|
|
|
89 }
|
|
|
90 return marks;
|
|
|
91 }
|
|
|
92
|
|
|
93 function getAllMarks() {
|
|
|
94 // returns a string with all marks in query format
|
|
|
95 var marks = new Array();
|
|
|
96 for (var i = 0; i < dlMarks.length; i++) {
|
|
|
97 marks.push(cropFloat(dlMarks[i].x) + "/" + cropFloat(dlMarks[i].y));
|
|
|
98 }
|
|
|
99 return marks.join(",");
|
|
|
100 }
|
|
|
101
|
|
|
102 function addMark(pos) {
|
|
|
103 // add a mark
|
|
|
104 dlMarks.push(pos);
|
|
|
105 setParameter("mk", getAllMarks());
|
|
|
106 return true;
|
|
|
107 }
|
|
|
108
|
|
|
109 function deleteMark() {
|
|
|
110 // delete the last mark
|
|
|
111 dlMarks.pop();
|
|
|
112 setParameter("mk", getAllMarks());
|
|
|
113 return true;
|
|
|
114 }
|
|
|
115
|
|
|
116 function hasFlag(mode) {
|
|
|
117 // returns if mode flag is set
|
|
|
118 return (dlFlags[mode]);
|
|
|
119 }
|
|
|
120
|
|
|
121 function addFlag(mode) {
|
|
|
122 // add a mode flag
|
|
|
123 dlFlags[mode] = mode;
|
|
|
124 setParameter("mo", getAllFlags());
|
|
|
125 return true;
|
|
|
126 }
|
|
|
127
|
|
|
128 function removeFlag(mode) {
|
|
|
129 // remove a mode flag
|
|
|
130 if (dlFlags[mode]) {
|
|
|
131 delete dlFlags[mode];
|
|
|
132 }
|
|
|
133 setParameter("mo", getAllFlags());
|
|
|
134 return true;
|
|
|
135 }
|
|
|
136
|
|
|
137 function toggleFlag(mode) {
|
|
|
138 // change a mode flag
|
|
|
139 if (dlFlags[mode]) {
|
|
|
140 delete dlFlags[mode];
|
|
|
141 } else {
|
|
|
142 dlFlags[mode] = mode;
|
|
|
143 }
|
|
|
144 setParameter("mo", getAllFlags());
|
|
|
145 return true;
|
|
|
146 }
|
|
|
147
|
|
|
148 function getAllFlags() {
|
|
|
149 // returns a string with all flags in query format
|
|
|
150 var fa = new Array();
|
|
|
151 for (var f in dlFlags) {
|
|
|
152 if ((f != "")&&(dlFlags[f] != null)) {
|
|
|
153 fa.push(f);
|
|
|
154 }
|
|
|
155 }
|
|
|
156 return fa.join(",");
|
|
|
157 }
|
|
|
158
|
|
|
159 function parseFlags() {
|
|
|
160 // sets dlFlags from the current parameters
|
|
|
161 var flags = new Object();
|
|
|
162 var fa = getParameter("mo").split(",");
|
|
|
163 for (var i = 0; i < fa.length ; i++) {
|
|
|
164 var f = fa[i];
|
|
|
165 if (f != "") {
|
|
|
166 flags[f] = f;
|
|
|
167 }
|
|
|
168 }
|
|
|
169 return flags;
|
|
|
170 }
|
|
|
171
|
|
|
172
|
|
|
173 function bestPicSize(elem, inset) {
|
|
|
174 // returns a Size with the best image size for the given element
|
|
|
175 if (! defined(inset)) {
|
|
|
176 inset = 25;
|
|
|
177 }
|
|
|
178 var ws = getWinSize();
|
|
|
179 var es = getElementPosition(elem);
|
|
|
180 if (es) {
|
|
|
181 ws.width = ws.width - es.x - inset;
|
|
|
182 ws.height = ws.height - es.y - inset;
|
|
|
183 }
|
|
|
184 return ws;
|
|
|
185 }
|
|
|
186
|
|
|
187 function setDLParam(e, s, relative) {
|
|
|
188 // sets parameter based on HTML event
|
|
|
189 var nam;
|
|
|
190 var val;
|
|
|
191 if (s.type && (s.type == "select-one")) {
|
|
|
192 nam = s.name;
|
|
|
193 val = s.options[s.selectedIndex].value;
|
|
|
194 } else if (s.name && s.value) {
|
|
|
195 nam = s.name;
|
|
|
196 val = s.value;
|
|
|
197 }
|
|
|
198 if (nam && val) {
|
|
|
199 setParameter(nam, val, relative);
|
|
|
200 display();
|
|
|
201 } else {
|
|
|
202 alert("ERROR: unable to process event!");
|
|
|
203 }
|
|
|
204 return true;
|
|
|
205 }
|
|
|
206
|
|
|
207
|
|
|
208 /* **********************************************
|
|
|
209 * digilib specific routines
|
|
|
210 * ******************************************** */
|
|
|
211
|
|
|
212
|
|
|
213 function dl_param_init() {
|
|
|
214 // parameter initialisation before onload
|
|
|
215 if (!baseScriptVersion) {
|
|
|
216 base_init();
|
|
|
217 }
|
|
|
218 dlScriptVersion = "1.2b";
|
|
|
219 dlArea = new Rectangle(0.0, 0.0, 1.0, 1.0);
|
|
|
220 dlMaxArea = new Rectangle(0.0, 0.0, 1.0, 1.0);
|
|
|
221 dlTrafo = new Transform();
|
|
|
222 dlMarks = new Array();
|
|
|
223 dlFlags = new Object();
|
|
|
224 elemScaler = null;
|
|
|
225 picElem = null;
|
|
|
226 ZOOMFACTOR = Math.sqrt(2);
|
|
|
227
|
|
|
228 // put the query parameters (sans "?") in the parameters array
|
|
|
229 parseParameters(location.search.slice(1));
|
|
|
230 // treat special parameters
|
|
|
231 dlMarks = parseMarks();
|
|
|
232 dlArea = parseArea();
|
|
|
233 dlFlags = parseFlags();
|
|
|
234 }
|
|
|
235
|
|
|
236
|
|
|
237 function dl_init() {
|
|
|
238 // initalisation on load
|
|
|
239 if (!dlScriptVersion) {
|
|
|
240 dl_param_init();
|
|
|
241 }
|
|
|
242 elemScaler = getElement("scaler", true);
|
|
|
243 picElem = getElement("pic", true);
|
|
|
244 if (picElem == null && elemScaler) {
|
|
|
245 // in N4 pic is in the scaler layer
|
|
|
246 picElem = elemScaler.document.images[0];
|
|
|
247 }
|
|
|
248 if (!elemScaler) {
|
|
|
249 alert("Digilib problem: No element with id 'scaler' found");
|
|
|
250 return false;
|
|
|
251 }
|
|
|
252 if (!picElem) {
|
|
|
253 alert("Digilib problem: No element with id 'pic' found");
|
|
|
254 return false;
|
|
|
255 }
|
|
|
256 // give a name to the window containing digilib
|
|
|
257 if (defined(dlTarget) && (dlTarget)) {
|
|
|
258 window.name = dlTarget;
|
|
|
259 } else {
|
|
|
260 window.name = "digilib";
|
|
|
261 }
|
|
|
262 // put the query parameters (sans "?") in the parameters array
|
|
|
263 parseParameters(location.search.slice(1));
|
|
|
264 // treat special parameters
|
|
|
265 dlMarks = parseMarks();
|
|
|
266 dlArea = parseArea();
|
|
|
267 dlFlags = parseFlags();
|
|
|
268 // wait for image to load and display marks
|
|
|
269 renderMarks();
|
|
|
270 // done
|
|
|
271 focus();
|
|
|
272 return;
|
|
|
273 }
|
|
|
274
|
|
|
275
|
|
|
276 function display(detail) {
|
|
|
277 // redisplay the page
|
|
|
278 if (! detail) {
|
|
|
279 detail = 255;
|
|
|
280 }
|
|
|
281 var queryString = getAllParameters(detail);
|
|
|
282 location.href = location.protocol + "//" + location.host + location.pathname + "?" + queryString;
|
|
|
283 }
|
|
|
284
|
|
|
285
|
|
|
286 /* **********************************************
|
|
|
287 * interactive digilib functions
|
|
|
288 * ******************************************** */
|
|
|
289
|
|
|
290 // TO BE CHANGED
|
|
|
291 function renderMarks() {
|
|
|
292 // put the visible marks on the image
|
|
|
293 var mark_count = dlMarks.length;
|
|
|
294 // make shure the image is loaded so we know its size
|
|
|
295 if (defined(picElem.complete) && picElem.complete == false && ! browserType.isN4 ) {
|
|
|
296 setTimeout("renderMarks()", 100);
|
|
|
297 } else {
|
|
|
298 dlTrafo = parseTrafo(picElem);
|
|
|
299 for (var i = 0; i < 8; i++) {
|
|
|
300 var me = getElement("dot"+i);
|
|
|
301 if (i < mark_count) {
|
|
|
302 if (dlArea.containsPosition(dlMarks[i])) {
|
|
|
303 var mpos = dlTrafo.transform(dlMarks[i]);
|
|
|
304 // suboptimal to place -5 pixels and not half size of mark-image
|
|
|
305 mpos.x = mpos.x -5;
|
|
|
306 mpos.y = mpos.y -5;
|
|
|
307 moveElement(me, mpos);
|
|
|
308 showElement(me, true);
|
|
|
309 }
|
|
|
310 } else {
|
|
|
311 // hide the other marks
|
|
|
312 showElement(me, false);
|
|
|
313 }
|
|
|
314 }
|
|
|
315 }
|
|
|
316 }
|
|
|
317
|
|
|
318
|
|
|
319 function setMark(reload) {
|
|
|
320 // add a mark where clicked
|
|
|
321 if ( dlMarks.length > 7 ) {
|
|
|
322 alert("Only 8 marks are possible at the moment!");
|
|
|
323 return;
|
|
|
324 }
|
|
|
325 window.focus();
|
|
|
326
|
|
|
327 function markEvent(evt) {
|
|
|
328 // event handler adding a new mark
|
|
|
329 unregisterEvent("mousedown", elemScaler, markEvent);
|
|
|
330 var p = dlTrafo.invtransform(evtPosition(evt));
|
|
|
331 addMark(p);
|
|
|
332 if (defined(reload)&&(!reload)) {
|
|
|
333 // don't redisplay
|
|
|
334 renderMarks();
|
|
|
335 return;
|
|
|
336 }
|
|
|
337 display();
|
|
|
338 }
|
|
|
339
|
|
|
340 // starting event capture
|
|
|
341 registerEvent("mousedown", elemScaler, markEvent);
|
|
|
342 }
|
|
|
343
|
|
|
344
|
|
|
345 function removeMark(reload) {
|
|
|
346 // remove the last mark
|
|
|
347 deleteMark();
|
|
|
348 if (defined(reload)&&(!reload)) {
|
|
|
349 // don't redisplay
|
|
|
350 renderMarks();
|
|
|
351 return;
|
|
|
352 }
|
|
|
353 display();
|
|
|
354 }
|
|
|
355
|
|
|
356
|
|
|
357 function zoomArea() {
|
|
|
358 var click = 1;
|
|
|
359 var pt1, pt2;
|
|
|
360 window.focus();
|
|
|
361 var zoomdiv = getElement("zoom");
|
|
|
362
|
|
|
363 function zoomClick(evt) {
|
|
|
364 // mouse click handler
|
|
|
365 if (click == 1) {
|
|
|
366 // first click -- start moving
|
|
|
367 click = 2;
|
|
|
368 pt1 = evtPosition(evt);
|
|
|
369 moveElement(zoomdiv, Rectangle(pt1.x, pt1.y, 0, 0));
|
|
|
370 showElement(zoomdiv, true);
|
|
|
371 // show moving
|
|
|
372 registerEvent("mousemove", elemScaler, zoomMove);
|
|
|
373 registerEvent("mousemove", zoomdiv, zoomMove);
|
|
|
374 // enable drag-to-zoom
|
|
|
375 registerEvent("mouseup", elemScaler, zoomClick);
|
|
|
376 registerEvent("mouseup", zoomdiv, zoomClick);
|
|
|
377 } else {
|
|
|
378 // second click -- end moving
|
|
|
379 pt2 = evtPosition(evt);
|
|
|
380 showElement(zoomdiv, false);
|
|
|
381 unregisterEvent("mousemove", elemScaler, zoomMove);
|
|
|
382 unregisterEvent("mousemove", zoomdiv, zoomMove);
|
|
|
383 unregisterEvent("mousedown", elemScaler, zoomClick);
|
|
|
384 unregisterEvent("mousedown", zoomdiv, zoomClick);
|
|
|
385 var p1 = dlTrafo.invtransform(pt1);
|
|
|
386 var p2 = dlTrafo.invtransform(pt2);
|
|
|
387 var ww = p2.x-p1.x;
|
|
|
388 var wh = p2.y-p1.y;
|
|
|
389 if ((ww > 0)&&(wh > 0)) {
|
|
|
390 setParameter("wx", cropFloat(p1.x));
|
|
|
391 setParameter("wy", cropFloat(p1.y));
|
|
|
392 setParameter("ww", cropFloat(ww));
|
|
|
393 setParameter("wh", cropFloat(wh));
|
|
|
394 parseArea();
|
|
|
395 // zoomed is always fit
|
|
|
396 setParameter("ws", 1);
|
|
|
397 display();
|
|
|
398 }
|
|
|
399 }
|
|
|
400 }
|
|
|
401
|
|
|
402 function zoomMove(evt) {
|
|
|
403 // mouse move handler
|
|
|
404 pt2 = evtPosition(evt);
|
|
|
405 // restrict marks to move right and down
|
|
|
406 moveElement(zoomdiv, Rectangle(pt1.x, pt1.y, Math.abs(pt1.x - pt2.x), Math.abs(pt1.y - pt2.y)));
|
|
|
407 }
|
|
|
408
|
|
|
409 // starting event capture
|
|
|
410 registerEvent("mousedown", elemScaler, zoomClick);
|
|
|
411 registerEvent("mousedown", zoomdiv, zoomClick);
|
|
|
412 }
|
|
|
413
|
|
|
414 function zoomBy(factor) {
|
|
|
415 // zooms by the given factor
|
|
|
416 var newarea = dlArea.copy();
|
|
|
417 newarea.width /= factor;
|
|
|
418 newarea.height /= factor;
|
|
|
419 newarea.x -= 0.5 * (newarea.width - dlArea.width);
|
|
|
420 newarea.y -= 0.5 * (newarea.height - dlArea.height);
|
|
|
421 newarea = dlMaxArea.fit(newarea);
|
|
|
422 setParamFromArea(newarea);
|
|
|
423 display();
|
|
|
424 }
|
|
|
425
|
|
|
426
|
|
|
427 function zoomFullpage() {
|
|
|
428 // zooms out to show the whole image
|
|
|
429 setParameter("wx", 0.0);
|
|
|
430 setParameter("wy", 0.0);
|
|
|
431 setParameter("ww", 1.0);
|
|
|
432 setParameter("wh", 1.0);
|
|
|
433 display();
|
|
|
434 }
|
|
|
435
|
|
|
436
|
|
|
437 function moveCenter() {
|
|
|
438 // move visible area so that it's centered around the clicked point
|
|
|
439 if ( (dlArea.width == 1.0) && (dlArea.height == 1.0) ) {
|
|
|
440 // nothing to do
|
|
|
441 return;
|
|
|
442 }
|
|
|
443 window.focus();
|
|
|
444
|
|
|
445 function moveCenterEvent(evt) {
|
|
|
446 // move to handler
|
|
|
447 unregisterEvent("mousedown", elemScaler, moveCenterEvent);
|
|
|
448 var pt = dlTrafo.invtransform(evtPosition(evt));
|
|
|
449 var newarea = new Rectangle(pt.x-0.5*dlArea.width, pt.y-0.5*dlArea.height, dlArea.width, dlArea.height);
|
|
|
450 newarea = dlMaxArea.fit(newarea);
|
|
|
451 // set parameters
|
|
|
452 setParamFromArea(newarea);
|
|
|
453 parseArea();
|
|
|
454 display();
|
|
|
455 }
|
|
|
456
|
|
|
457 // starting event capture
|
|
|
458 registerEvent("mousedown", elemScaler, moveCenterEvent);
|
|
|
459 }
|
|
|
460
|
|
|
461 function moveBy(movx, movy) {
|
|
|
462 // move visible area by movx and movy (in units of ww, wh)
|
|
|
463 if ((dlArea.width == 1.0)&&(dlArea.height == 1.0)) {
|
|
|
464 // nothing to do
|
|
|
465 return;
|
|
|
466 }
|
|
|
467 var newarea = dlArea.copy();
|
|
|
468 newarea.x += parseFloat(movx)*dlArea.width;
|
|
|
469 newarea.y += parseFloat(movy)*dlArea.height;
|
|
|
470 newarea = dlMaxArea.fit(newarea);
|
|
|
471 // set parameters
|
|
|
472 setParamFromArea(newarea);
|
|
|
473 parseArea();
|
|
|
474 display();
|
|
|
475 }
|
|
|
476
|
|
|
477 function getRef() {
|
|
|
478 // returns a reference to the current digilib set
|
|
|
479 if (! baseUrl) {
|
|
|
480 var baseUrl = location.protocol + "//" + location.host + location.pathname;
|
|
|
481 }
|
|
|
482 var hyperlinkRef = baseUrl;
|
|
|
483 var par = getAllParameters(7+16); // all without ddpi, pt
|
|
|
484 if (par.length > 0) {
|
|
|
485 hyperlinkRef += "?" + par;
|
|
|
486 }
|
|
|
487 return hyperlinkRef;
|
|
|
488 }
|
|
|
489
|
|
|
490 function getRefWin(type, msg) {
|
|
|
491 // shows an alert with a reference to the current digilib set
|
|
|
492 if (! msg) {
|
|
|
493 msg = "Link for HTML documents";
|
|
|
494 }
|
|
|
495 prompt(msg, getRef());
|
|
|
496 }
|
|
|
497
|
|
|
498 function getQuality() {
|
|
|
499 // returns the current q setting
|
|
|
500 for (var i = 0; i < 3; i++) {
|
|
|
501 if (hasFlag("q"+i)) {
|
|
|
502 return i;
|
|
|
503 }
|
|
|
504 }
|
|
|
505 return 1
|
|
|
506 }
|
|
|
507
|
|
|
508 function setQuality(qual) {
|
|
|
509 // set the image quality
|
|
|
510 for (var i = 0; i < 3; i++) {
|
|
|
511 removeFlag("q"+i);
|
|
|
512 if (i == qual) {
|
|
|
513 addFlag("q"+i);
|
|
|
514 }
|
|
|
515 }
|
|
|
516 setParameter("mo", getAllFlags());
|
|
|
517 display();
|
|
|
518 }
|
|
|
519
|
|
|
520 function setQualityWin(msg) {
|
|
|
521 // dialog for setting quality
|
|
|
522 if (! msg) {
|
|
|
523 msg = "Quality (0..2)";
|
|
|
524 }
|
|
|
525 var q = getQuality();
|
|
|
526 var newq = window.prompt(msg, q);
|
|
|
527 if (newq) {
|
|
|
528 setQuality(newq);
|
|
|
529 }
|
|
|
530 }
|
|
|
531
|
|
|
532 function mirror(dir) {
|
|
|
533 // mirror the image horizontally or vertically
|
|
|
534 if (dir == "h") {
|
|
|
535 toggleFlag("hmir");
|
|
|
536 } else {
|
|
|
537 toggleFlag("vmir");
|
|
|
538 }
|
|
|
539 setParameter("mo", getAllFlags());
|
|
|
540 display();
|
|
|
541 }
|
|
|
542
|
|
|
543 function gotoPage(gopage, keep) {
|
|
|
544 // goto given page nr (+/-: relative)
|
|
|
545 var oldpn = parseInt(getParameter("pn"));
|
|
|
546 setParameter("pn", gopage, true);
|
|
|
547 var pn = parseInt(getParameter("pn"));
|
|
|
548 if (pn < 1) {
|
|
|
549 alert("No such page! (Page number too low)");
|
|
|
550 setParameter("pn", oldpn);
|
|
|
551 return;
|
|
|
552 }
|
|
|
553 if (hasParameter("pt")) {
|
|
|
554 pt = parseInt(getParameter("pt"))
|
|
|
555 if (pn > pt) {
|
|
|
556 alert("No such page! (Page number too high)");
|
|
|
557 setParameter("pn", oldpn);
|
|
|
558 return;
|
|
|
559 }
|
|
|
560 }
|
|
|
561 if (keep) {
|
|
|
562 display(15+32); // all, no mark
|
|
|
563 } else {
|
|
|
564 display(3+32); // fn, pn, ws, mo + pt
|
|
|
565 }
|
|
|
566 }
|
|
|
567
|
|
|
568 function gotoPageWin() {
|
|
|
569 // dialog to ask for new page nr
|
|
|
570 var pn = getParameter("pn");
|
|
|
571 var gopage = window.prompt("Go to page", pn);
|
|
|
572 if (gopage) {
|
|
|
573 gotoPage(gopage);
|
|
|
574 }
|
|
|
575 }
|
|
|
576
|
|
|
577 function setParamWin(param, text, relative) {
|
|
|
578 // dialog to ask for new parameter value
|
|
|
579 var val = getParameter(param);
|
|
|
580 var newval = window.prompt(text, val);
|
|
|
581 if (newval) {
|
|
|
582 setParameter(param, newval, relative);
|
|
|
583 display();
|
|
|
584 }
|
|
|
585 }
|
|
|
586
|
|
|
587 function showOptions(show) {
|
|
|
588 // show or hide option div
|
|
|
589 var elem = getElement("dloptions");
|
|
|
590 showElement(elem, show);
|
|
|
591 } |
