Mercurial > hg > digilib-old
annotate client/digitallibrary/greyskin/dllib.js @ 443:089adc9e2a5f
placement of size menu
| author | hertzhaft |
|---|---|
| date | Fri, 13 Jan 2006 12:03:25 +0100 |
| parents | 85aef29cc1da |
| children | 6154dfc67615 |
| rev | line source |
|---|---|
| 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 | |
| 411 | 21 Martin Raspe <hertzhaft@biblhertz.it>, 12.12.2005 |
| 400 | 22 |
| 23 ! Requires baselib.js ! | |
| 24 | |
| 25 */ | |
| 411 | 26 digilibVersion = "Digilib NG"; |
| 443 | 27 dllibVersion = "2.031"; |
| 416 | 28 isDigilibInitialized = false; // gets set to true in dl_param_init |
|
429
813a155d1338
added showArrows() function (navigation arrows overlay)
hertzhaft
parents:
416
diff
changeset
|
29 reloadPage = true; // reload the page when parameters are changed, otherwise update only "src" attribute of scaler img |
|
813a155d1338
added showArrows() function (navigation arrows overlay)
hertzhaft
parents:
416
diff
changeset
|
30 |
|
813a155d1338
added showArrows() function (navigation arrows overlay)
hertzhaft
parents:
416
diff
changeset
|
31 // global variables |
|
813a155d1338
added showArrows() function (navigation arrows overlay)
hertzhaft
parents:
416
diff
changeset
|
32 dlTrafo = new Transform(); |
|
813a155d1338
added showArrows() function (navigation arrows overlay)
hertzhaft
parents:
416
diff
changeset
|
33 dlMaxArea = new Rectangle(0.0, 0.0, 1.0, 1.0); |
|
813a155d1338
added showArrows() function (navigation arrows overlay)
hertzhaft
parents:
416
diff
changeset
|
34 dlArea = null; |
|
813a155d1338
added showArrows() function (navigation arrows overlay)
hertzhaft
parents:
416
diff
changeset
|
35 dlMarks = null; |
|
813a155d1338
added showArrows() function (navigation arrows overlay)
hertzhaft
parents:
416
diff
changeset
|
36 dlFlags = null; |
|
813a155d1338
added showArrows() function (navigation arrows overlay)
hertzhaft
parents:
416
diff
changeset
|
37 |
|
813a155d1338
added showArrows() function (navigation arrows overlay)
hertzhaft
parents:
416
diff
changeset
|
38 // global elements |
| 434 | 39 scalerDiv = null; |
| 40 scalerImg = null; | |
| 416 | 41 |
| 42 // flags for parameter sets | |
| 43 PARAM_FILE = 1; | |
| 44 PARAM_MODE = 2; | |
| 434 | 45 PARAM_DIM = 4; |
| 416 | 46 PARAM_IMAGE = 8; |
| 47 PARAM_DPI = 16; | |
| 48 PARAM_MARK = 32; | |
| 49 PARAM_PAGES = 64; | |
| 434 | 50 PARAM_SIZE = 128; |
| 51 PARAM_ALL = PARAM_FILE | PARAM_MODE | PARAM_DIM | PARAM_IMAGE | PARAM_DPI | PARAM_MARK | PARAM_PAGES | PARAM_SIZE; | |
| 416 | 52 |
| 53 // mouse drag area that counts as one click | |
| 54 MIN_AREA_SIZE = 3 * 3 + 1; | |
| 55 | |
| 56 // standard zoom factor | |
| 57 ZOOMFACTOR = Math.sqrt(2); | |
| 58 | |
| 59 // bird's eye view dimensions | |
| 60 BIRD_MAXX = 100; | |
| 61 BIRD_MAXY = 100; | |
| 62 | |
| 63 // with of arrow bars | |
| 64 ARROW_WIDTH = 32; | |
| 400 | 65 |
| 434 | 66 // with of calibration bar |
| 67 CALIBRATION_WIDTH = 64; | |
| 68 | |
| 400 | 69 function identify() { |
| 70 // used for identifying a digilib instance | |
| 71 // Relato uses that function - lugi | |
| 411 | 72 return digilibVersion; |
| 400 | 73 } |
| 74 /* | |
| 75 * more parameter handling | |
| 76 */ | |
| 77 | |
| 416 | 78 function initParameters() { |
| 79 // file | |
| 80 newParameter('fn', '', PARAM_FILE); | |
| 81 newParameter('pn', '1', PARAM_FILE); | |
| 82 // mode | |
| 83 newParameter('mo', '', PARAM_MODE); | |
| 84 // relative dimensions of zoomed image | |
| 434 | 85 newParameter('wx', '0.0', PARAM_DIM); |
| 86 newParameter('wy', '0.0', PARAM_DIM); | |
| 87 newParameter('ww', '1.0', PARAM_DIM); | |
| 88 newParameter('wh', '1.0', PARAM_DIM); | |
| 416 | 89 // image manipulation |
| 90 newParameter('brgt', '0.0', PARAM_IMAGE); | |
| 91 newParameter('cont', '0.0', PARAM_IMAGE); | |
| 92 newParameter('rot', '0.0', PARAM_IMAGE); | |
| 93 newParameter('rgba', '', PARAM_IMAGE); | |
| 94 newParameter('rgbm', '', PARAM_IMAGE); | |
| 95 // resolution | |
| 96 newParameter('ddpi', '', PARAM_DPI); | |
| 97 newParameter('ddpix', '', PARAM_DPI); | |
| 98 newParameter('ddpiy', '', PARAM_DPI); | |
| 99 // marks | |
| 100 newParameter('mk', '', PARAM_MARK); | |
| 101 // pages total | |
| 102 newParameter('pt', '0', PARAM_PAGES); | |
| 434 | 103 // size |
| 104 newParameter('ws', '1.0', PARAM_SIZE); | |
| 105 } | |
| 416 | 106 |
| 400 | 107 function parseArea() { |
| 108 // returns area Rectangle from current parameters | |
| 411 | 109 return new Rectangle( |
| 416 | 110 getParameter("wx"), |
| 111 getParameter("wy"), | |
| 112 getParameter("ww"), | |
| 113 getParameter("wh")); | |
| 114 } | |
| 400 | 115 |
| 116 function setParamFromArea(rect) { | |
| 416 | 117 // sets digilib wx etc. from rect |
| 118 setParameter("wx", cropFloat(rect.x)); | |
| 119 setParameter("wy", cropFloat(rect.y)); | |
| 120 setParameter("ww", cropFloat(rect.width)); | |
| 121 setParameter("wh", cropFloat(rect.height)); | |
| 122 return true; | |
| 123 } | |
| 124 | |
| 125 /* ********************************************** | |
| 126 * parse parameters routines | |
| 127 * ******************************************** */ | |
| 400 | 128 |
| 129 function parseTrafo(elem) { | |
| 130 // returns Transform from current dlArea and picsize | |
| 131 var picsize = getElementRect(elem); | |
| 132 var trafo = new Transform(); | |
| 133 // subtract area offset and size | |
| 134 trafo.concat(getTranslation(new Position(-dlArea.x, -dlArea.y))); | |
| 135 trafo.concat(getScale(new Size(1/dlArea.width, 1/dlArea.height))); | |
| 136 // scale to screen size | |
| 137 trafo.concat(getScale(picsize)); | |
| 138 trafo.concat(getTranslation(picsize)); | |
| 416 | 139 // FIX ME: Robert, kannst Du mal nachsehen, ob das folgende tut, was es soll? |
| 140 // oder gibt es dafür neuen Code? | |
| 400 | 141 // rotate |
| 416 | 142 var rot = getRotation(- getParameter("rot"), new Position(0.5*picsize.width, 0.5*picsize.height)); |
| 143 trafo.concat(rot); | |
| 400 | 144 // mirror |
| 416 | 145 if (hasFlag("hmir")) trafo.m00 = - trafo.m00; // ?? |
| 146 if (hasFlag("vmir")) trafo.m11 = - trafo.m11; // ?? | |
| 400 | 147 return trafo; |
| 148 } | |
| 149 | |
| 150 function parseMarks() { | |
| 151 // returns marks array from current parameters | |
| 152 var marks = new Array(); | |
| 411 | 153 var param = getParameter("mk"); |
| 154 var pairs = (param.indexOf(";") >= 0) | |
| 416 | 155 ? param.split(";") // old format with ";" |
| 156 : param.split(","); // new format | |
| 411 | 157 for (var i = 0; i < pairs.length ; i++) { |
| 158 var pos = pairs[i].split("/"); | |
| 159 if (pos.length > 1) marks.push(new Position(pos[0], pos[1])); | |
| 160 } | |
| 161 return marks; | |
| 400 | 162 } |
| 163 | |
| 416 | 164 /* ********************************************** |
| 165 * marks routines | |
| 166 * ******************************************** */ | |
| 167 | |
| 168 function getAllMarks() { | |
| 400 | 169 // returns a string with all marks in query format |
| 170 var marks = new Array(); | |
| 411 | 171 for (var i = 0; i < dlMarks.length; i++) |
| 400 | 172 marks.push(cropFloat(dlMarks[i].x) + "/" + cropFloat(dlMarks[i].y)); |
| 411 | 173 return marks.join(","); |
| 400 | 174 } |
| 411 | 175 |
| 176 getMarksQueryString = getAllMarks; | |
| 400 | 177 |
| 411 | 178 function addMark(evt) { |
| 416 | 179 // add a mark |
| 180 var pos = dlTrafo.invtransform(evtPosition(evt)); | |
| 181 dlMarks.push(pos) | |
| 182 setParameter("mk", getAllMarks()); | |
| 183 return true; | |
| 184 } | |
| 185 | |
| 186 function deleteMark() { | |
| 187 // delete the last mark | |
| 188 var mark = dlMarks.pop(); | |
| 189 setParameter("mk", getAllMarks()); | |
| 190 return true; | |
| 191 } | |
| 192 | |
| 193 function deleteAllMarks() { | |
| 194 // delete all marks and mk parameters | |
| 195 dlMarks.length = 0; | |
| 196 resetParameter("mk"); | |
| 197 return true; | |
| 198 } | |
| 411 | 199 |
| 200 function createMarkDiv(index) { | |
| 416 | 201 var div = document.createElement("div"); |
| 202 div.className = "mark"; | |
| 203 div.id = "mark" + index; | |
| 204 div.innerHTML = index + 1; | |
| 205 document.body.appendChild(div); | |
| 206 return div; | |
| 207 } | |
| 400 | 208 |
| 416 | 209 /* ********************************************** |
| 210 * flag routines | |
| 211 * ******************************************** */ | |
| 400 | 212 |
| 213 function hasFlag(mode) { | |
| 416 | 214 // returns if mode flag is set |
| 215 return (dlFlags[mode]); | |
| 216 } | |
| 400 | 217 |
| 218 function addFlag(mode) { | |
| 416 | 219 // add a mode flag |
| 220 dlFlags[mode] = mode; | |
| 221 setParameter("mo", getAllFlags()); | |
| 222 return true; | |
| 223 } | |
| 400 | 224 |
| 225 function removeFlag(mode) { | |
| 416 | 226 // remove a mode flag |
| 227 if (dlFlags[mode]) delete dlFlags[mode]; | |
| 228 setParameter("mo", getAllFlags()); | |
| 229 return true; | |
| 230 } | |
| 400 | 231 |
| 232 function toggleFlag(mode) { | |
| 416 | 233 // change a mode flag |
| 234 if (dlFlags[mode]) { | |
| 235 delete dlFlags[mode]; | |
| 236 } else { | |
| 237 dlFlags[mode] = mode; | |
| 238 } | |
| 239 setParameter("mo", getAllFlags()); | |
| 240 return true; | |
| 241 } | |
| 400 | 242 |
| 243 function getAllFlags() { | |
| 244 // returns a string with all flags in query format | |
| 245 var fa = new Array(); | |
| 246 for (var f in dlFlags) { | |
| 247 if ((f != "")&&(dlFlags[f] != null)) { | |
| 248 fa.push(f); | |
| 249 } | |
| 250 } | |
| 251 return fa.join(","); | |
| 252 } | |
| 253 | |
| 254 function parseFlags() { | |
| 255 // sets dlFlags from the current parameters | |
| 256 var flags = new Object(); | |
| 257 var fa = getParameter("mo").split(","); | |
| 258 for (var i = 0; i < fa.length ; i++) { | |
| 259 var f = fa[i]; | |
| 260 if (f != "") { | |
| 261 flags[f] = f; | |
| 262 } | |
| 263 } | |
| 264 return flags; | |
| 411 | 265 } |
| 400 | 266 |
| 267 | |
| 268 function bestPicSize(elem, inset) { | |
| 269 // returns a Size with the best image size for the given element | |
| 270 if (! defined(inset)) { | |
| 271 inset = 25; | |
| 272 } | |
| 273 var ws = getWinSize(); | |
| 274 var es = getElementPosition(elem); | |
| 275 if (es) { | |
| 276 ws.width = ws.width - es.x - inset; | |
| 277 ws.height = ws.height - es.y - inset; | |
| 278 } | |
| 279 return ws; | |
| 280 } | |
| 281 | |
| 282 function setDLParam(e, s, relative) { | |
| 416 | 283 // sets parameter based on HTML event |
| 284 var nam; | |
| 400 | 285 var val; |
| 286 if (s.type && (s.type == "select-one")) { | |
| 287 nam = s.name; | |
| 288 val = s.options[s.selectedIndex].value; | |
| 289 } else if (s.name && s.value) { | |
| 290 nam = s.name; | |
| 291 val = s.value; | |
| 292 } | |
| 293 if (nam && val) { | |
| 294 setParameter(nam, val, relative); | |
| 295 display(); | |
| 296 } else { | |
| 297 alert("ERROR: unable to process event!"); | |
| 298 } | |
| 299 return true; | |
| 300 } | |
| 301 | |
| 302 | |
| 303 /* ********************************************** | |
| 304 * digilib specific routines | |
| 305 * ******************************************** */ | |
| 306 | |
| 307 | |
| 411 | 308 function parseAllParameters() { |
| 416 | 309 // put the query parameters (sans "?") in the parameters array |
| 310 parseParameters(location.search.slice(1)); | |
| 311 // treat special parameters | |
| 312 dlMarks = parseMarks(); | |
| 313 dlArea = parseArea(); | |
| 314 dlFlags = parseFlags(); | |
| 315 } | |
| 411 | 316 |
| 400 | 317 function dl_param_init() { |
| 416 | 318 // initialisation before onload |
| 319 if (!baseLibVersion) alert("ERROR: baselib.js not loaded!"); | |
| 320 if (isDigilibInitialized) return false; // dl_param_init was already run | |
| 321 // dlArea = new Rectangle(0.0, 0.0, 1.0, 1.0); // overwritten by parseAllParameters() below | |
| 322 // dlMarks = new Array(); // dito | |
| 323 // dlFlags = new Object(); // dito | |
| 324 // parse parameters | |
| 325 parseAllParameters(); | |
| 326 isDigilibInitialized = true; | |
| 327 return true; | |
| 328 } | |
| 400 | 329 |
| 330 function dl_init() { | |
| 416 | 331 // initalisation on load |
| 332 if (!isDigilibInitialized) dl_param_init(); | |
| 434 | 333 scalerDiv = getElement("scaler"); |
| 334 scalerImg = getElement("pic", true); | |
| 416 | 335 // in N4 pic is in the scaler layer |
| 434 | 336 if (scalerImg == null && scalerDiv) { |
| 337 scalerImg = scalerDiv.document.images[0]; | |
| 416 | 338 } |
| 339 // give a name to the window containing digilib | |
| 340 window.name = defined(dlTarget) && dlTarget | |
| 341 ? dlTarget | |
| 342 : "digilib"; | |
| 343 // put the query parameters (sans "?") in the parameters array | |
| 344 // parseAllParameters(); // has already been called in dl_param_init() | |
| 345 // wait for image to load and display marks | |
| 346 renderMarks(); | |
| 347 // done | |
| 348 focus(); | |
| 349 } | |
| 350 | |
| 351 initScaler = dl_init; | |
| 400 | 352 |
| 411 | 353 function loadScalerImage(detail) { |
| 416 | 354 var pic = getElement('pic'); |
| 355 var scaler = getElement('scaler'); | |
| 356 var zoomdiv = getElement("zoom"); // test for presence only | |
| 357 var overlay = getElement("overlay"); // test for presence only | |
| 443 | 358 var about = getElement("about"); // test for presence only |
| 416 | 359 var bird = getElement("bird"); // test for presence only |
| 360 var picsize = bestPicSize(scaler, 50); | |
| 361 var src = "../servlet/Scaler?" | |
| 362 + getQueryString() | |
| 363 + "&dw=" + picsize.width | |
| 364 + "&dh=" + picsize.height; | |
| 365 // debug(src); | |
| 366 pic.src = src; | |
| 367 initScaler(); // dl_init braucht die endgültigen Maße des pic Elements | |
| 368 } | |
| 400 | 369 |
| 370 function display(detail) { | |
| 416 | 371 // redisplay the page |
| 372 if (! detail) detail = PARAM_ALL; | |
| 373 var queryString = getAllParameters(detail); | |
| 374 if (reloadPage) { | |
| 375 location.href | |
| 376 = location.protocol + "//" | |
| 377 + location.host | |
| 378 + location.pathname | |
| 379 + "?" + queryString; | |
| 380 } else { | |
| 381 loadScalerImage(); | |
| 382 } | |
| 383 } | |
| 400 | 384 |
| 385 /* ********************************************** | |
| 386 * interactive digilib functions | |
| 387 * ******************************************** */ | |
| 388 function renderMarks() { | |
| 416 | 389 // make sure the image is loaded so we know its size |
| 434 | 390 if (defined(scalerImg.complete) && !scalerImg.complete && !browserType.isN4 ) { |
| 416 | 391 setTimeout("renderMarks()", 100); |
| 392 return; | |
| 400 | 393 } |
| 411 | 394 // put the visible marks on the image |
| 434 | 395 dlTrafo = parseTrafo(scalerImg); |
| 416 | 396 // debugProps(dlArea, "dlArea"); |
| 411 | 397 for (var i = 0; i < dlMarks.length; i++) { |
| 443 | 398 var div = getElement("mark" + i) || createMarkDiv(i); |
| 411 | 399 var mark = dlMarks[i]; |
|
429
813a155d1338
added showArrows() function (navigation arrows overlay)
hertzhaft
parents:
416
diff
changeset
|
400 // debugProps(mark, "mark"); |
| 416 | 401 if (dlArea.containsPosition(mark)) { |
| 402 var mpos = dlTrafo.transform(mark); // FIX ME: transform does not change anything | |
|
429
813a155d1338
added showArrows() function (navigation arrows overlay)
hertzhaft
parents:
416
diff
changeset
|
403 // debugProps(mark, "mpos"); |
| 416 | 404 // suboptimal to place -5 pixels and not half size of mark-image |
| 405 // better not hide the marked spot (MR) | |
| 406 // mpos.x = mpos.x -5; | |
| 407 // mpos.y = mpos.y -5; | |
| 408 moveElement(div, mpos); | |
| 409 showElement(div, true); | |
| 410 } else { | |
| 411 // hide the other marks | |
| 412 showElement(div, false); | |
| 413 } | |
| 400 | 414 } |
| 415 } | |
| 416 | |
| 417 function setMark(reload) { | |
| 418 | |
| 416 | 419 function markEvent(evt) { |
| 420 // event handler adding a new mark | |
| 434 | 421 unregisterEvent("mousedown", scalerDiv, markEvent); |
| 416 | 422 addMark(evt); |
| 423 if ( defined(reload) && !reload ) { | |
| 424 // don't redisplay | |
| 425 renderMarks(); | |
| 426 return; | |
| 427 } | |
| 428 display(); | |
| 434 | 429 return stopEvent(evt); |
| 416 | 430 } |
| 431 | |
| 432 // add a mark where clicked | |
| 433 window.focus(); | |
| 434 | 434 moveCenter(false); |
| 416 | 435 // start event capturing |
| 434 | 436 registerEvent("mousedown", scalerDiv, markEvent); |
| 416 | 437 } |
| 400 | 438 |
| 439 function removeMark(reload) { | |
| 440 // remove the last mark | |
| 441 deleteMark(); | |
| 442 if (defined(reload)&&(!reload)) { | |
| 443 // don't redisplay | |
| 444 renderMarks(); | |
| 445 return; | |
| 446 } | |
| 447 display(); | |
| 448 } | |
| 449 | |
| 450 function zoomArea() { | |
| 416 | 451 var pt1, pt2; |
| 452 var zoomdiv = getElement("zoom"); | |
| 453 var overlay = getElement("overlay"); | |
| 454 // use overlay div to avoid <img> mousemove problems | |
| 434 | 455 var picRect = getElementRect(scalerImg); |
| 416 | 456 // FIX ME: is there a way to query the border width from CSS info? |
| 457 // rect.x -= 2; // account for overlay borders | |
| 458 // rect.y -= 2; | |
| 434 | 459 moveElement(overlay, picRect); |
| 416 | 460 showElement(overlay, true); |
| 461 // start event capturing | |
| 462 registerEvent("mousedown", overlay, zoomStart); | |
| 434 | 463 registerEvent("mousedown", scalerImg, zoomStart); |
| 416 | 464 window.focus(); |
| 400 | 465 |
| 411 | 466 // mousedown handler: start moving |
| 416 | 467 function zoomStart(evt) { |
| 468 pt1 = evtPosition(evt); | |
| 469 unregisterEvent("mousedown", overlay, zoomStart); | |
| 434 | 470 unregisterEvent("mousedown", scalerImg, zoomStart); |
| 416 | 471 // setup and show zoom div |
| 472 moveElement(zoomdiv, Rectangle(pt1.x, pt1.y, 0, 0)); | |
| 473 showElement(zoomdiv, true); | |
| 434 | 474 // register events |
| 475 registerEvent("mousemove", document, zoomMove); | |
| 476 registerEvent("mouseup", document, zoomEnd); | |
| 416 | 477 return stopEvent(evt); |
| 478 } | |
| 479 | |
| 411 | 480 // mouseup handler: end moving |
| 416 | 481 function zoomEnd(evt) { |
| 482 pt2 = evtPosition(evt); | |
| 483 // assume a click if the area is too small (up to 3 x 3 pixel) | |
| 434 | 484 var clickRect = getRect(pt1, pt2); |
| 485 if (clickRect.getArea() <= MIN_AREA_SIZE) return stopEvent(evt); | |
| 416 | 486 // hide zoom div |
| 487 showElement(zoomdiv, false); | |
| 488 showElement(overlay, false); | |
| 434 | 489 // unregister events |
| 490 unregisterEvent("mousemove", document, zoomMove); | |
| 491 unregisterEvent("mouseup", document, zoomMove); | |
| 416 | 492 // calc offsets |
| 434 | 493 clickRect.clipTo(picRect); |
| 416 | 494 var area = getRect( |
| 495 // FIX ME: liefert negative x/y Werte, wenn hmir/vmir=1 | |
| 434 | 496 dlTrafo.invtransform(clickRect.getPt1()), |
| 497 dlTrafo.invtransform(clickRect.getPt2()) | |
| 416 | 498 ); |
| 499 setParameter("wx", cropFloat(area.x)); | |
| 500 setParameter("wy", cropFloat(area.y)); | |
| 501 setParameter("ww", cropFloat(area.width)); | |
| 502 setParameter("wh", cropFloat(area.height)); | |
| 503 // parseArea(); // why? | |
| 504 // zoomed is always fit | |
| 505 setParameter("ws", 1); | |
| 506 display(); | |
| 507 return stopEvent(evt); | |
| 508 } | |
| 509 | |
| 411 | 510 // mouse move handler |
| 416 | 511 function zoomMove(evt) { |
| 512 pt2 = evtPosition(evt); | |
| 434 | 513 var rect = getRect(pt1, pt2); |
| 514 rect.clipTo(picRect); | |
| 416 | 515 // update zoom div |
| 434 | 516 moveElement(zoomdiv, rect); |
| 416 | 517 return stopEvent(evt); |
| 518 } | |
| 519 | |
| 520 // get a rectangle from two points | |
| 521 function getRect(p1, p2) { | |
| 522 return new Rectangle( | |
| 523 Math.min(p1.x, p2.x), | |
| 524 Math.min(p1.y, p2.y), | |
| 525 Math.abs(p1.x - p2.x), | |
| 526 Math.abs(p1.y - p2.y) | |
| 527 ); | |
| 528 } | |
| 400 | 529 } |
| 530 | |
| 531 function zoomBy(factor) { | |
| 532 // zooms by the given factor | |
| 533 var newarea = dlArea.copy(); | |
| 534 newarea.width /= factor; | |
| 535 newarea.height /= factor; | |
| 536 newarea.x -= 0.5 * (newarea.width - dlArea.width); | |
| 537 newarea.y -= 0.5 * (newarea.height - dlArea.height); | |
| 538 newarea = dlMaxArea.fit(newarea); | |
| 539 setParamFromArea(newarea); | |
| 540 display(); | |
| 541 } | |
| 542 | |
| 543 | |
| 544 function zoomFullpage() { | |
| 545 // zooms out to show the whole image | |
| 546 setParameter("wx", 0.0); | |
| 547 setParameter("wy", 0.0); | |
| 548 setParameter("ww", 1.0); | |
| 549 setParameter("wh", 1.0); | |
| 550 display(); | |
| 551 } | |
| 552 | |
| 553 | |
| 434 | 554 function moveCenter(on) { |
| 400 | 555 // move visible area so that it's centered around the clicked point |
| 434 | 556 if (isFullArea()) return; // nothing to do |
| 557 // starting event capture | |
| 558 if (on) registerEvent("mousedown", scalerImg, moveCenterEvent); | |
| 559 else unregisterEvent("mousedown", scalerImg, moveCenterEvent); | |
| 400 | 560 window.focus(); |
| 434 | 561 } |
| 400 | 562 |
| 434 | 563 function moveCenterEvent(evt) { |
| 564 // move to handler | |
| 565 var pt = dlTrafo.invtransform(evtPosition(evt)); | |
| 566 var newarea = new Rectangle( | |
| 567 pt.x - 0.5 * dlArea.width, | |
| 568 pt.y - 0.5 * dlArea.height, | |
| 569 dlArea.width, | |
| 570 dlArea.height | |
| 571 ); | |
| 572 newarea.stayInside(dlMaxArea); | |
| 573 // newarea = dlMaxArea.fit(newarea); | |
| 574 // debugProps(newarea, "newarea"); | |
| 575 // debugProps(dlArea, "dlArea"); | |
| 576 if (newarea.equals(dlArea)) return; // keep event handler | |
| 577 unregisterEvent("mousedown", scalerImg, moveCenterEvent); | |
| 578 // set parameters | |
| 579 setParamFromArea(newarea); | |
| 580 parseArea(); | |
| 581 display(); | |
| 400 | 582 } |
| 583 | |
| 416 | 584 function isFullArea(area) { |
| 585 if (!area) area = dlArea; | |
| 443 | 586 // pixel by pixel is not always full area |
| 587 return (area.width == 1.0) && (area.height == 1.0) && ! hasFlag("clip"); | |
| 434 | 588 } |
| 416 | 589 |
| 590 function canMove(movx, movy) { | |
|
429
813a155d1338
added showArrows() function (navigation arrows overlay)
hertzhaft
parents:
416
diff
changeset
|
591 if (isFullArea()) return false; |
| 434 | 592 var x2 = dlArea.x + dlArea.width; |
| 593 var y2 = dlArea.y + dlArea.height; | |
|
429
813a155d1338
added showArrows() function (navigation arrows overlay)
hertzhaft
parents:
416
diff
changeset
|
594 // debugProps(dlArea); |
| 416 | 595 return ((movx < 0) && (dlArea.x > 0)) |
| 434 | 596 || ((movx > 0) && (x2 < 1.0)) |
| 597 || ((movy < 0) && (dlArea.y > 0)) | |
| 598 || ((movy > 0) && (y2 < 1.0)) | |
| 599 } | |
| 416 | 600 |
| 400 | 601 function moveBy(movx, movy) { |
| 602 // move visible area by movx and movy (in units of ww, wh) | |
|
429
813a155d1338
added showArrows() function (navigation arrows overlay)
hertzhaft
parents:
416
diff
changeset
|
603 if (!canMove(movx, movy)) return; // nothing to do |
| 400 | 604 var newarea = dlArea.copy(); |
| 605 newarea.x += parseFloat(movx)*dlArea.width; | |
| 606 newarea.y += parseFloat(movy)*dlArea.height; | |
| 607 newarea = dlMaxArea.fit(newarea); | |
| 608 // set parameters | |
| 609 setParamFromArea(newarea); | |
| 610 parseArea(); | |
| 611 display(); | |
| 612 } | |
| 613 | |
| 411 | 614 function getRef(baseURL) { |
| 400 | 615 // returns a reference to the current digilib set |
|
429
813a155d1338
added showArrows() function (navigation arrows overlay)
hertzhaft
parents:
416
diff
changeset
|
616 if (!baseUrl) baseUrl |
|
813a155d1338
added showArrows() function (navigation arrows overlay)
hertzhaft
parents:
416
diff
changeset
|
617 = location.protocol |
|
813a155d1338
added showArrows() function (navigation arrows overlay)
hertzhaft
parents:
416
diff
changeset
|
618 + "//" |
|
813a155d1338
added showArrows() function (navigation arrows overlay)
hertzhaft
parents:
416
diff
changeset
|
619 + location.host |
|
813a155d1338
added showArrows() function (navigation arrows overlay)
hertzhaft
parents:
416
diff
changeset
|
620 + location.pathname; |
| 400 | 621 var hyperlinkRef = baseUrl; |
| 416 | 622 var params = getAllParameters(PARAM_ALL & ~(PARAM_DPI | PARAM_PAGES)); // all without ddpi, pt |
| 411 | 623 if (params.length > 0) hyperlinkRef += "?" + params; |
| 624 return hyperlinkRef; | |
| 400 | 625 } |
| 626 | |
| 627 function getRefWin(type, msg) { | |
| 628 // shows an alert with a reference to the current digilib set | |
| 411 | 629 if (! msg) msg = "URL reference to the current view"; |
| 630 prompt(msg, getRef()); | |
| 400 | 631 } |
| 632 | |
| 633 function getQuality() { | |
| 411 | 634 // returns the current q setting |
| 400 | 635 for (var i = 0; i < 3; i++) { |
| 411 | 636 if (hasFlag("q"+i)) return i; |
| 416 | 637 } |
| 411 | 638 return 1 |
| 400 | 639 } |
| 640 | |
| 641 function setQuality(qual) { | |
| 642 // set the image quality | |
| 411 | 643 for (var i = 0; i < 3; i++) removeFlag("q" + i); |
| 644 if (qual > 2) return alert("Quality number not supported"); | |
| 645 addFlag("q" + i); | |
| 400 | 646 setParameter("mo", getAllFlags()); |
| 647 display(); | |
| 411 | 648 } |
| 400 | 649 |
| 650 function setQualityWin(msg) { | |
| 416 | 651 // dialog for setting quality |
| 652 if (! msg) msg = "Quality (0..2)"; | |
| 653 var q = getQuality(); | |
| 654 var newq = window.prompt(msg, q); | |
| 655 if (newq) setQuality(newq); | |
| 656 } | |
| 400 | 657 |
| 658 function mirror(dir) { | |
| 659 // mirror the image horizontally or vertically | |
|
429
813a155d1338
added showArrows() function (navigation arrows overlay)
hertzhaft
parents:
416
diff
changeset
|
660 toggleFlag(dir == "h" |
|
813a155d1338
added showArrows() function (navigation arrows overlay)
hertzhaft
parents:
416
diff
changeset
|
661 ? "hmir" |
|
813a155d1338
added showArrows() function (navigation arrows overlay)
hertzhaft
parents:
416
diff
changeset
|
662 : "vmir" |
|
813a155d1338
added showArrows() function (navigation arrows overlay)
hertzhaft
parents:
416
diff
changeset
|
663 ); |
| 400 | 664 setParameter("mo", getAllFlags()); |
| 665 display(); | |
| 666 } | |
| 667 | |
| 668 function gotoPage(gopage, keep) { | |
| 416 | 669 // goto given page nr (+/-: relative) |
| 670 var oldpn = parseInt(getParameter("pn")); | |
| 671 setParameter("pn", gopage, true); | |
| 672 var pn = parseInt(getParameter("pn")); | |
| 673 if (pn < 1) { | |
| 674 alert("No such page! (Page number too low)"); | |
| 675 setParameter("pn", oldpn); | |
| 676 return; | |
| 677 } | |
| 678 if (hasParameter("pt")) { | |
| 679 pt = parseInt(getParameter("pt")) | |
| 680 if (pn > pt) { | |
| 681 alert("No such page! (Page number too high)"); | |
| 682 setParameter("pn", oldpn); | |
| 683 return; | |
| 684 } | |
| 685 } | |
| 686 if (keep) { | |
| 687 display(PARAM_ALL & ~PARAM_MARK); // all, no mark | |
| 688 } else { | |
| 689 display(PARAM_FILE | PARAM_MODE | PARAM_PAGES); // fn, pn, ws, mo + pt | |
| 690 // FIX ME: currently the mirror status gets propagated to the other pages | |
| 691 // hmir and vmir should not be mode flags, but boolean params!!! | |
| 692 } | |
| 400 | 693 } |
| 694 | |
| 695 function gotoPageWin() { | |
| 416 | 696 // dialog to ask for new page nr |
| 697 var pn = getParameter("pn"); | |
| 698 var gopage = window.prompt("Go to page", pn); | |
| 699 if (gopage) gotoPage(gopage); | |
| 700 } | |
| 400 | 701 |
| 702 function setParamWin(param, text, relative) { | |
| 416 | 703 // dialog to ask for new parameter value |
| 704 var val = getParameter(param); | |
| 705 var newval = window.prompt(text, val); | |
| 706 if (newval) { | |
| 707 setParameter(param, newval, relative); | |
| 708 display(); | |
| 709 } | |
| 400 | 710 } |
| 711 | |
| 712 function showOptions(show) { | |
| 416 | 713 // show or hide option div |
| 714 var elem = getElement("dloptions"); | |
| 715 showElement(elem, show); | |
| 716 // FIX ME: get rid of the dotted line around the buttons when focused | |
| 717 } | |
| 411 | 718 |
| 719 function showAboutDiv(show) { | |
| 416 | 720 // show or hide "about" div |
| 721 var elem = getElement("about"); | |
| 722 if (elem == null) { | |
| 443 | 723 if (show) alert("About Digilib - dialog missing in HTML code!" |
| 416 | 724 + "\nDigilib Version: " + digilibVersion |
| 434 | 725 + "\JSP Version: " + jspVersion |
| 416 | 726 + "\ndlLib Version: " + dllibVersion |
| 727 + "\nbaseLib Version: " + baseLibVersion); | |
| 728 return; | |
| 729 } | |
| 443 | 730 if (show) { |
| 731 getElement("digilib-version").innerHTML = "Digilib Version: " + digilibVersion; | |
| 732 getElement("jsp-version").innerHTML = "JSP Version: " + jspVersion; | |
| 733 getElement("baselib-version").innerHTML = "baseLib Version: " + baseLibVersion; | |
| 734 getElement("dllib-version").innerHTML = "dlLib Version: " + dllibVersion; | |
| 735 var aboutRect = getElementRect(elem); | |
| 736 aboutRect.setCenter(getWinRect().getCenter()); | |
| 737 moveElement(elem, aboutRect); | |
| 738 } | |
| 416 | 739 showElement(elem, show); |
| 740 } | |
| 741 | |
| 742 function loadBirdImage() { | |
| 743 var img = getElement("bird-image"); | |
| 744 var src = "../servlet/Scaler?" | |
| 434 | 745 + getQueryString(PARAM_FILE) |
| 416 | 746 + "&dw=" + BIRD_MAXX |
| 747 + "&dh=" + BIRD_MAXY; | |
| 748 img.src = src; | |
| 749 } | |
| 750 | |
| 751 function showBirdDiv(show) { | |
| 752 // show or hide "bird's eye" div | |
| 753 var startPos; // anchor for dragging | |
| 754 var newRect; // position after drag | |
| 755 var birdImg = getElement("bird-image"); | |
| 434 | 756 var birdArea = getElement("bird-area"); |
| 757 var overlay = getElement("overlay"); | |
| 416 | 758 showElement(birdImg, show); |
| 434 | 759 // dont show selector if area has full size |
| 416 | 760 if (!show || isFullArea()) { |
| 761 // hide area | |
| 762 showElement(birdArea, false); | |
| 434 | 763 showElement(overlay, false); |
| 416 | 764 return; |
| 765 }; | |
| 766 var birdImgRect = getElementRect(birdImg); | |
| 767 var area = parseArea(); | |
| 768 // scale area down to img size | |
| 769 var birdAreaRect = new Rectangle( | |
| 770 // what about borders ?? | |
| 771 birdImgRect.x + birdImgRect.width * area.x, | |
| 772 birdImgRect.y + birdImgRect.height * area.y, | |
| 773 birdImgRect.width * area.width, | |
| 774 birdImgRect.height * area.height | |
| 775 ); | |
| 776 moveElement(birdArea, birdAreaRect); | |
| 434 | 777 showElement(birdArea, true); |
| 778 moveElement(overlay, birdImgRect); | |
| 779 showElement(overlay, true); | |
| 780 registerEvent("mousedown", overlay, birdAreaStartDrag); | |
| 781 registerEvent("mousedown", birdImg, birdAreaStartDrag); | |
| 416 | 782 |
| 783 function birdAreaStartDrag(evt) { | |
| 784 // mousedown handler: start drag | |
| 785 startPos = evtPosition(evt); | |
| 434 | 786 unregisterEvent("mousedown", overlay, birdAreaStartDrag); |
| 787 unregisterEvent("mousedown", birdImg, birdAreaStartDrag); | |
| 788 registerEvent("mousemove", document, birdAreaMove); | |
| 789 registerEvent("mouseup", document, birdAreaEndDrag); | |
| 416 | 790 // debugProps(getElementRect(bird)) |
| 791 return stopEvent(evt); | |
| 792 } | |
| 793 | |
| 794 function birdAreaMove(evt) { | |
| 795 // mousemove handler: drag | |
| 796 var pos = evtPosition(evt); | |
| 797 var dx = pos.x - startPos.x; | |
| 798 var dy = pos.y - startPos.y; | |
| 799 // move birdArea div, keeping size | |
| 800 newRect = new Rectangle( | |
| 801 birdAreaRect.x + dx, | |
| 802 birdAreaRect.y + dy, | |
| 803 birdAreaRect.width, | |
| 804 birdAreaRect.height); | |
| 805 // stay within image | |
| 806 newRect.stayInside(birdImgRect); | |
| 807 moveElement(birdArea, newRect); | |
| 808 showElement(birdArea, true); | |
| 809 return stopEvent(evt); | |
| 810 } | |
| 811 | |
| 812 function birdAreaEndDrag(evt) { | |
| 813 // mouseup handler: reload page | |
| 434 | 814 unregisterEvent("mousemove", document, birdAreaMove); |
| 815 unregisterEvent("mouseup", document, birdAreaEndDrag); | |
| 816 showElement(overlay, false); | |
| 817 if (newRect == null) { // no movement happened | |
| 818 startPos = birdAreaRect.getCenter(); | |
| 819 birdAreaMove(evt); // set center to click position | |
| 820 } | |
| 416 | 821 setParameter("wx", cropFloat((newRect.x - birdImgRect.x) / birdImgRect.width)); |
| 822 setParameter("wy", cropFloat((newRect.y - birdImgRect.y) / birdImgRect.height)); | |
| 823 // zoomed is always fit | |
| 824 setParameter("ws", 1); | |
| 825 display(); | |
| 826 return stopEvent(evt); | |
| 827 } | |
| 828 } | |
| 829 | |
|
429
813a155d1338
added showArrows() function (navigation arrows overlay)
hertzhaft
parents:
416
diff
changeset
|
830 function showArrow(name, rect, show) { |
|
813a155d1338
added showArrows() function (navigation arrows overlay)
hertzhaft
parents:
416
diff
changeset
|
831 var arrow = getElement(name); |
|
813a155d1338
added showArrows() function (navigation arrows overlay)
hertzhaft
parents:
416
diff
changeset
|
832 moveElement(arrow, rect); |
|
813a155d1338
added showArrows() function (navigation arrows overlay)
hertzhaft
parents:
416
diff
changeset
|
833 showElement(arrow, show); |
|
813a155d1338
added showArrows() function (navigation arrows overlay)
hertzhaft
parents:
416
diff
changeset
|
834 } |
|
813a155d1338
added showArrows() function (navigation arrows overlay)
hertzhaft
parents:
416
diff
changeset
|
835 |
|
813a155d1338
added showArrows() function (navigation arrows overlay)
hertzhaft
parents:
416
diff
changeset
|
836 function showArrows() { |
| 443 | 837 // show the 4 arrow bars on top of scaler img according to current dlArea |
| 434 | 838 if (defined(scalerImg.complete) && !scalerImg.complete && !browserType.isN4 ) { |
|
429
813a155d1338
added showArrows() function (navigation arrows overlay)
hertzhaft
parents:
416
diff
changeset
|
839 setTimeout("showArrows()", 100); |
|
813a155d1338
added showArrows() function (navigation arrows overlay)
hertzhaft
parents:
416
diff
changeset
|
840 return; |
|
813a155d1338
added showArrows() function (navigation arrows overlay)
hertzhaft
parents:
416
diff
changeset
|
841 } |
| 434 | 842 var r = getElementRect(scalerImg); |
|
429
813a155d1338
added showArrows() function (navigation arrows overlay)
hertzhaft
parents:
416
diff
changeset
|
843 showArrow('up', |
|
813a155d1338
added showArrows() function (navigation arrows overlay)
hertzhaft
parents:
416
diff
changeset
|
844 new Rectangle(r.x, r.y, r.width, ARROW_WIDTH), |
|
813a155d1338
added showArrows() function (navigation arrows overlay)
hertzhaft
parents:
416
diff
changeset
|
845 canMove(0, -1) |
|
813a155d1338
added showArrows() function (navigation arrows overlay)
hertzhaft
parents:
416
diff
changeset
|
846 ); |
|
813a155d1338
added showArrows() function (navigation arrows overlay)
hertzhaft
parents:
416
diff
changeset
|
847 showArrow('down', |
|
813a155d1338
added showArrows() function (navigation arrows overlay)
hertzhaft
parents:
416
diff
changeset
|
848 new Rectangle(r.x, r.y + r.height - ARROW_WIDTH, r.width, ARROW_WIDTH), |
|
813a155d1338
added showArrows() function (navigation arrows overlay)
hertzhaft
parents:
416
diff
changeset
|
849 canMove(0, 1) |
|
813a155d1338
added showArrows() function (navigation arrows overlay)
hertzhaft
parents:
416
diff
changeset
|
850 ); |
|
813a155d1338
added showArrows() function (navigation arrows overlay)
hertzhaft
parents:
416
diff
changeset
|
851 showArrow('left', |
|
813a155d1338
added showArrows() function (navigation arrows overlay)
hertzhaft
parents:
416
diff
changeset
|
852 new Rectangle(r.x, r.y, ARROW_WIDTH, r.height), |
|
813a155d1338
added showArrows() function (navigation arrows overlay)
hertzhaft
parents:
416
diff
changeset
|
853 canMove(-1, 0) |
|
813a155d1338
added showArrows() function (navigation arrows overlay)
hertzhaft
parents:
416
diff
changeset
|
854 ); |
|
813a155d1338
added showArrows() function (navigation arrows overlay)
hertzhaft
parents:
416
diff
changeset
|
855 showArrow('right', |
|
813a155d1338
added showArrows() function (navigation arrows overlay)
hertzhaft
parents:
416
diff
changeset
|
856 new Rectangle(r.x + r.width - ARROW_WIDTH, r.y, ARROW_WIDTH, r.height), |
|
813a155d1338
added showArrows() function (navigation arrows overlay)
hertzhaft
parents:
416
diff
changeset
|
857 canMove(1, 0) |
|
813a155d1338
added showArrows() function (navigation arrows overlay)
hertzhaft
parents:
416
diff
changeset
|
858 ); |
|
813a155d1338
added showArrows() function (navigation arrows overlay)
hertzhaft
parents:
416
diff
changeset
|
859 } |
| 416 | 860 |
| 434 | 861 function calibrate(direction) { |
| 862 // calibrate screen | |
| 863 var startPos; // anchor for dragging | |
| 864 var newRect; // position after drag | |
| 865 var calDiv = getElement("calibration"); | |
| 439 | 866 var pixel = calDiv.getElementsByTagName("p")[0]; |
| 434 | 867 var overlay = getElement("overlay"); |
| 868 moveElement(overlay, getWinRect()); | |
| 869 showElement(overlay, true); | |
| 870 var xDir = direction == "x"; | |
| 871 moveCenter(false); | |
| 872 registerEvent("mousedown", document, calibrationStartDrag); | |
| 873 | |
| 874 function calibrationStartDrag(evt) { | |
| 875 // mousedown handler: start drag | |
| 876 startPos = evtPosition(evt); | |
| 877 unregisterEvent("mousedown", document, calibrationStartDrag); | |
| 878 registerEvent("mousemove", document, calibrationMove); | |
| 879 registerEvent("mouseup", document, calibrationEndDrag); | |
| 880 newRect = new Rectangle( | |
| 881 startPos.x, | |
| 882 startPos.y, | |
| 883 xDir ? 1 : CALIBRATION_WIDTH, | |
| 884 xDir ? CALIBRATION_WIDTH : 1 | |
| 885 ); | |
| 886 moveElement(calDiv, newRect); | |
| 887 showElement(calDiv, true); | |
| 888 // debugProps(getElementRect(bird)) | |
| 889 return stopEvent(evt); | |
| 890 } | |
| 891 | |
| 892 function calibrationMove(evt) { | |
| 893 // mousemove handler: drag | |
| 894 var pos = evtPosition(evt); | |
| 895 var dx = (xDir) ? pos.x - startPos.x : CALIBRATION_WIDTH; | |
| 896 var dy = (xDir) ? CALIBRATION_WIDTH : pos.y - startPos.y; | |
| 897 // move birdArea div, keeping size | |
| 898 newRect = new Rectangle(startPos.x, startPos.y, dx, dy); | |
| 439 | 899 pixel.innerHTML = (xDir ? dx : dy) + " px"; |
| 434 | 900 moveElement(calDiv, newRect); |
| 901 showElement(calDiv, true); | |
| 902 return stopEvent(evt); | |
| 903 } | |
| 904 | |
| 905 function calibrationEndDrag(evt) { | |
| 906 // mouseup handler: calibrate | |
| 907 unregisterEvent("mousemove", document, calibrationMove); | |
| 908 unregisterEvent("mouseup", document, calibrationEndDrag); | |
| 439 | 909 if (xDir) { |
| 910 var val = newRect.width * 0.254; // ratio dm/inch | |
| 911 cookie.add("ddpi", val); | |
| 912 cookie.add("ddpix", val); | |
| 913 } else { | |
| 914 var val = newRect.height * 0.254; | |
| 915 cookie.add("ddpiy", val); | |
| 916 } | |
| 434 | 917 showElement(calDiv, false); |
| 918 showElement(overlay, false); | |
| 919 moveCenter(true); | |
| 920 return stopEvent(evt); | |
| 921 } | |
| 922 } | |
| 923 | |
| 443 | 924 function originalSize(on) { |
| 925 // set osize flag, needs calibrated screen | |
| 926 if (on) { | |
| 927 var dpi = cookie.get("ddpi"); | |
| 928 if (dpi == null) { | |
| 929 alert("Screen has not yet been calibrated - using default value of 72 dpi"); | |
| 930 dpi = 72; | |
| 931 } | |
| 932 setParameter("ddpi", dpi); | |
| 933 addFlag("osize"); | |
| 934 display(); | |
| 439 | 935 } |
| 443 | 936 else removeFlag("osize"); |
| 439 | 937 } |
| 938 | |
| 443 | 939 function pixelByPixel(on) { |
| 940 // sets clip flag | |
| 941 if (on) { | |
| 942 addFlag("clip"); | |
| 943 display(); | |
| 944 } | |
| 945 else removeFlag("clip"); | |
| 439 | 946 } |
| 440 | 947 |
| 948 function resize(factor) { | |
| 949 setParameter("ws", factor); | |
| 443 | 950 showSizeMenu(false); |
| 440 | 951 display(); |
| 952 } | |
| 953 | |
| 443 | 954 function showSizeMenu(show) { |
| 440 | 955 var menu = getElement("sizes"); |
| 443 | 956 if (show) { |
| 957 // align menu with button | |
| 958 var buttonPos = getElementPosition(getElement("size")); | |
| 959 moveElement(menu, new Position(buttonPos.x - 50, buttonPos.y)); | |
| 960 } | |
| 961 showElement(menu, show); | |
| 440 | 962 } |
| 434 | 963 // :tabSize=4:indentSize=4:noTabs=true: |
| 964 |