X-Git-Url: https://git.sesse.net/?p=pr0n;a=blobdiff_plain;f=files%2Fpr0n-fullscreen.js;h=d9d37c6131b8226a952e95677f2991d9e404f2d2;hp=3a7dba62e0c6bbed2653928d8bdeccc7d576776b;hb=028fd7f4a56f931d04a806f4356cf27b6d18f092;hpb=8139390f4df74822df8d485176bac88a66f912de diff --git a/files/pr0n-fullscreen.js b/files/pr0n-fullscreen.js index 3a7dba6..d9d37c6 100644 --- a/files/pr0n-fullscreen.js +++ b/files/pr0n-fullscreen.js @@ -1,322 +1,601 @@ -var req; +(function() { -function init_ajax() +var global_disabled_opacity = 0.1; +var global_default_opacity = 0.7; +var global_highlight_opacity = 1.0; +var global_infobox = true; + +function find_width() { - req = false; - - if (window.XMLHttpRequest) { - // Mozilla/Safari - try { - req = new XMLHttpRequest(); - } catch(e) { - req = false; - } - } else if (window.ActiveXObject) { - // IE/Windows - try { - req = new ActiveXObject("Msxml2.XMLHTTP"); - } catch(e) { - try { - req = new ActiveXObject("Microsoft.XMLHTTP"); - } catch(e) { - req = false; - } - } - } + var dpr = find_dpr(); + return [window.innerWidth * dpr, window.innerHeight * dpr]; } -function find_width() +function find_dpr() { - if (typeof(window.innerWidth) == 'number') { - // non-IE - return [window.innerWidth, window.innerHeight]; - } else if (document.documentElement && (document.documentElement.clientWidth || document.documentElement.clientHeight)) { - // IE 6+ in 'standards compliant mode' - return [document.documentElement.clientWidth, document.documentElement.clientHeight]; - } else if (document.body && (document.body.clientWidth || document.body.clientHeight)) { - // IE 4-compatible - return [document.body.clientWidth, document.body.clientHeight]; - } - return [null,null]; + return window.devicePixelRatio || 1; } /* * pr0n can resize to any size we'd like, but we're much more likely * to have this set of fixed-resolution screens cached, so to increase - * performance, we round down to the closest fit and use that. + * performance, we round down to the closest fit and use that. This + * function is a pessimal estimate of what thumbnail size we can _always_ + * fit on the screen -- it's right if and only if all images are 4:3 + * (and landscape). If individual size information is available, use + * pick_image_size, below. */ -function reduce_to_fixed_width(size) +var fixed_sizes = [ + [ 3840, 2880 ], + [ 3200, 2400 ], + [ 2800, 2100 ], + [ 2304, 1728 ], + [ 2048, 1536 ], + [ 1920, 1440 ], + [ 1600, 1200 ], + [ 1400, 1050 ], + [ 1280, 960 ], + [ 1152, 864 ], + [ 1024, 768 ], + [ 800, 600 ], + [ 640, 480 ], + [ 512, 384 ], + [ 320, 256 ], + [ 240, 192 ], + [ 120, 96 ], + [ 80, 64 ] +]; +function max_image_size(screen_size) { - var fixed_sizes = [ - [ 1280, 960 ], - [ 1024, 768 ], - [ 800, 600 ], - [ 640, 480 ], - [ 512, 384 ], - [ 320, 256 ], - [ 240, 192 ], - [ 120, 96 ], - [ 80, 64 ] - ]; + var i; for (i = 0; i < fixed_sizes.length; ++i) { - if (size[0] >= fixed_sizes[i][0] && size[1] >= fixed_sizes[i][1]) + if (screen_size[0] >= fixed_sizes[i][0] && screen_size[1] >= fixed_sizes[i][1]) { return fixed_sizes[i]; + } } return [ 80, 64 ]; } - -function display_image(width, height, evt, filename, element_id) + +function pick_image_size(screen_size, image_size) { - var url = "http://" + global_vhost + "/" + evt + "/" + width + "x" + height + "/" + filename; - var img = document.getElementById(element_id); - if (img != null) { - img.src = ""; - img.parentNode.removeChild(img); - } + var i; + for (i = 0; i < fixed_sizes.length; ++i) { + // this is a duplicate of pr0n's resizing code, hope for no floating-point + // inaccuracies :-) + var thumbxres = fixed_sizes[i][0]; + var thumbyres = fixed_sizes[i][1]; + var width = image_size[0]; + var height = image_size[1]; + + if (!(thumbxres >= width && thumbyres >= height)) { + var sfh = width / thumbxres; + var sfv = height / thumbyres; + if (sfh > sfv) { + width /= sfh; + height /= sfh; + } else { + width /= sfv; + height /= sfv; + } + width = Math.floor(width); + height = Math.floor(height); + } - img = document.createElement("img"); - img.id = element_id; - img.alt = ""; + if (screen_size[0] >= width && screen_size[1] >= height) { + // be sure _not_ to return a reference + return [ fixed_sizes[i][0], fixed_sizes[i][1], width, height ]; + } + } + return [ 80, 64 ]; +} - if (img.src != url) { - img.src = url; +function rename_element(old_name, new_name) +{ + // Remove any element that's in the way. + var elem = document.getElementById(new_name); + if (elem !== null) { + elem.parentNode.removeChild(elem); } - - var main = document.getElementById("iehack"); - main.appendChild(img); - return img; + elem = document.getElementById(old_name); + if (elem !== null) { + elem.id = new_name; + } + return elem; } -function prepare_preload(img, width, height, evt, filename) +function display_image(url, backend_width, backend_height, elem_id, offset, preload) { - // cancel any pending preload - var preload = document.getElementById("preload"); - if (preload != null) { - preload.src = ""; - preload.parentNode.removeChild(preload); + // See if this image already exists in the DOM; if not, add it. + var img = document.getElementById(elem_id); + if (img === null) { + img = document.createElement("img"); + img.id = elem_id; + img.alt = ""; + img.className = preload ? "fsbox" : "fsimg"; } + img.style.position = "absolute"; + img.style.transformOrigin = "top left"; + document.getElementById("main").appendChild(img); - // grmf -- IE doesn't fire onload if the image was loaded from cache, so check for - // completeness first; should at least be _somewhat_ better - if (img.complete) { - display_image(width, height, evt, filename, "preload"); + if (offset === 0) { + img.src = url; + position_image(img, backend_width, backend_height, offset, preload); } else { - img.onload = function() { display_image(width, height, evt, filename, "preload"); }; - } + // This is a preload, so wait for the main image to be ready. + // The test for .complete is an old IE hack, which I don't know if is relevant anymore. + var main_img = document.getElementById(global_image_num); + if (main_img === null || main_img.complete) { + img.src = url; + } else { + main_img.addEventListener('load', function() { img.src = url; }, false); + } + + // Seemingly one needs to delay position_image(), or Firefox will set the initial + // scroll offset completely off. + img.style.display = 'none'; + setTimeout(function() { position_image(img, backend_width, backend_height, offset, preload); img.style.display = null; }, 1); + } } -function relayout() +function display_image_num(num, offset) { - var size = find_width(); - var adjusted_size = reduce_to_fixed_width(size); + var screen_size = find_width(); + var adjusted_size; - var img = display_image(adjusted_size[0], adjusted_size[1], global_evt, global_image_list[global_image_num], "image"); - if (can_go_next()) { - prepare_preload(img, adjusted_size[0], adjusted_size[1], global_evt, global_image_list[global_image_num + 1]); + if (global_image_list[num][2] == -1) { + // no size information, use our pessimal guess + adjusted_size = max_image_size(screen_size); + } else { + adjusted_size = pick_image_size(screen_size, [ global_image_list[num][2], global_image_list[num][3] ]); } - - // center the image on-screen - var main = document.getElementById("main"); - main.style.position = "absolute"; - main.style.left = (size[0] - adjusted_size[0]) / 2 + "px"; - main.style.top = (size[1] - adjusted_size[1]) / 2 + "px"; - main.style.width = adjusted_size[0] + "px"; - main.style.height = adjusted_size[1] + "px"; - main.style.lineHeight = adjusted_size[1] + "px"; - - set_opacity("previous", can_go_previous() ? 0.7 : 0.1); - set_opacity("next", can_go_next() ? 0.7 : 0.1); - set_opacity("close", 0.7); + + var evt = global_image_list[num][0]; + var filename = global_image_list[num][1]; + var backend_width = adjusted_size[0]; + var backend_height = adjusted_size[1]; + var url = window.location.origin + "/" + evt + "/" + backend_width + "x" + backend_height + "/" + filename; + var elem_id = num; + + display_image(url, adjusted_size[2], adjusted_size[3], elem_id, offset, false); + + if (global_infobox) { + var url; + var dpr = find_dpr(); + var elem_id = num + "_box"; + if (dpr == 1) { + url = window.location.origin + "/" + evt + "/" + backend_width + "x" + backend_height + "/box/" + filename; + } else { + url = window.location.origin + "/" + evt + "/" + backend_width + "x" + backend_height + "@" + dpr.toFixed(2) + "/box/" + filename; + } + display_image(url, adjusted_size[2], adjusted_size[3], elem_id, offset, true); + document.getElementById(elem_id).style.transform += " scale(" + (1.0 / dpr) + ")"; + } + + if (offset === 0) { + // Update the "download original" link. + var original_url = window.location.origin + "/" + evt + "/original/" + filename; + document.getElementById("origdownload").href = original_url; + + // If it's a raw image, show a JPEG link. + var fulldownload = document.getElementById("fulldownload"); + if (filename.match(/\.(nef|cr2)$/i)) { + fulldownload.style.display = "block"; + var full_url = window.location.origin + "/" + evt + "/" + filename; + document.getElementById("fulldownloadlink").href = full_url; + origdownload.innerHTML = "Download original image (RAW)"; + } else { + fulldownload.style.display = "none"; + origdownload.innerHTML = "Download original image"; + } + + // replace the anchor part (if any) with the image number + window.location.hash = "#" + (num+1); + } +} + +function can_go_next() +{ + return (global_image_num < global_image_list.length - 1); +} + +function can_go_previous() +{ + return (global_image_num > 0); } function set_opacity(id, amount) { var elem = document.getElementById(id); - if (typeof(elem.style.opacity) != 'undefined') { // W3C - elem.style.opacity = amount; - } else if (typeof(elem.style.mozOpacity) != 'undefined') { // older Mozilla - elem.style.mozOpacity = amount; - } else if (typeof(elem.style.filter) != 'undefined') { // IE - if (elem.style.filter.indexOf("alpha") == -1) { - // add an alpha filter if there isn't one already - if (elem.style.filter) { - elem.style.filter += " "; - } else { - elem.style.filter = ""; - } - elem.style.filter += "alpha(opacity=" + (amount*100.0) + ")"; - } else { - // ugh? this seems to break in color index mode... - if (typeof(elem.filters) == 'unknown') { - elem.style.filter = "alpha(opacity=" + (amount*100.0) + ")"; - } else { - elem.filters.alpha.opacity = (amount * 100.0); - } + + // If optionmenu is visible, options is also visible. + if (id === "options" && amount < 0.7) { + var optionmenu = document.getElementById("optionmenu"); + if (optionmenu.style.display === "block") { + amount = 0.7; } - } else { // no alpha support - if (amount > 0.5) { - elem.style.visibility = "visible"; - elem.style.zorder = 1; + } + elem.style.opacity = amount; +} + +function position_image(img, backend_width, backend_height, offset, preload) +{ + var screen_size = find_width(); + var dpr = find_dpr(); + var width, height; + + if (backend_width == -1) { + // no size information, use our pessimal guess + var adjusted_size = max_image_size(screen_size); + width = adjusted_size[0]; + height = adjusted_size[1]; + } else { + // use the exact information + var adjusted_size = pick_image_size(screen_size, [ backend_width, backend_height ]); + width = adjusted_size[2]; + height = adjusted_size[3]; + } + + var extra_x_offset = find_width()[0] * offset; + var left = (screen_size[0] - width) / 2; + var top = (screen_size[1] - height) / 2; + + if (global_infobox) top -= dpr * (24/2); + + // center the image on-screen + img.style.position = "absolute"; + img.style.left = (left / dpr) + "px"; + img.style.transform = "translate(" + extra_x_offset + "px,0px)"; + + if (preload) { + img.style.top = (top + height) / dpr + "px"; + } else { + img.style.top = (top / dpr) + "px"; + img.style.lineHeight = (height / dpr) + "px"; + img.style.width = (width / dpr) + "px"; + img.style.height = (height / dpr) + "px"; + } +} + +function update_shown_images() +{ + // Go through and remove all the elements that are not supposed to be there. + var main = document.getElementById("main"); + var children = main.children; + var to_remove = []; + for (var i = 0; i < children.length; i++) { + var child = children[i]; + var inum = null; + if (child.className === "fsimg") { + inum = parseInt(child.id); + } else if (child.className === "fsbox") { + inum = parseInt(child.id.replace("_box", "")); } else { - elem.style.visibility = "hidden"; + continue; } + + // FIXME: For whatever reason, if we don't actually remove an item + // and then scroll it out of view, Chrome scrolls to it. + // So don't keep anything that's going to be a preload; + // we'll have to recreate the element entirely. + //if (inum !== global_image_num - 1 && + // inum !== global_image_num && + // inum !== global_image_num + 1) { + // to_remove.push(child); + //} + if (inum !== global_image_num) { + to_remove.push(child); + } + } + for (let child of to_remove) { + child.parentNode.removeChild(child); + } + + // Add any missing elements. Note that we add the main one first, + // so that the preloads have an element to fire onload off of. + display_image_num(global_image_num, 0); + if (can_go_previous()) { + display_image_num(global_image_num - 1, -1); + } + if (can_go_next()) { + display_image_num(global_image_num + 1, 1); } } -function can_go_previous() +function relayout() { - return (global_image_num > 0); + update_shown_images(); + + set_opacity("previous", can_go_previous() ? global_default_opacity : global_disabled_opacity); + set_opacity("next", can_go_next() ? global_default_opacity : global_disabled_opacity); + set_opacity("close", global_default_opacity); + set_opacity("options", global_default_opacity); } function go_previous() { - if (!can_go_previous()) + if (!can_go_previous()) { return; + } --global_image_num; + update_shown_images(); + if (can_go_previous()) { + set_opacity("previous", global_default_opacity); + } else { + set_opacity("previous", global_disabled_opacity); + } + set_opacity("next", can_go_next() ? global_default_opacity : global_disabled_opacity); +} + +function go_next() +{ + if (!can_go_next()) { + return; + } - var adjusted_size = reduce_to_fixed_width(find_width()); + ++global_image_num; + update_shown_images(); + if (can_go_next()) { + set_opacity("next", global_default_opacity); + } else { + set_opacity("next", global_disabled_opacity); + } + set_opacity("previous", can_go_previous() ? global_default_opacity : global_disabled_opacity); +} - var img = display_image(adjusted_size[0], adjusted_size[1], global_evt, global_image_list[global_image_num], "image"); - if (can_go_previous()) { - set_opacity("previous", 0.7); - prepare_preload(img, adjusted_size[0], adjusted_size[1], global_evt, global_image_list[global_image_num - 1]); +function do_close() +{ + if (global_image_num > 0) { + window.location = global_return_url + '#' + (global_image_num + 1); } else { - set_opacity("previous", 0.1); + window.location = global_return_url; } - set_opacity("next", can_go_next() ? 0.7 : 0.1); } -function can_go_next() +function toggle_optionmenu() { - return (global_image_num < global_image_list.length - 1); + var optionmenu = document.getElementById("optionmenu"); + if (optionmenu.style.display === "block") { + optionmenu.style.display = "none"; + } else { + optionmenu.style.display = "block"; + set_opacity("options", 0.7); + } } +window['toggle_optionmenu'] = toggle_optionmenu; -function go_next() +function draw_text(msg) { - if (!can_go_next()) - return; + // remove any text we might have left + var text = document.getElementById("text"); + if (text !== null) { + text.parentNode.removeChild(text); + } - ++global_image_num; + text = document.createElement("p"); + text.id = "text"; + text.style.position = "absolute"; + text.style.color = "white"; + text.style.lineHeight = "24px"; + text.style.font = "24px verdana, arial, sans-serif"; + text.innerHTML = msg; - var adjusted_size = reduce_to_fixed_width(find_width()); + document.getElementById("main").appendChild(text); - var img = display_image(adjusted_size[0], adjusted_size[1], global_evt, global_image_list[global_image_num], "image"); - if (can_go_next()) { - set_opacity("next", 0.7); - prepare_preload(img, adjusted_size[0], adjusted_size[1], global_evt, global_image_list[global_image_num + 1]); + var screen_size = find_width(); + text.style.left = (screen_size[0] - text.clientWidth) / 2 + "px"; + text.style.top = (screen_size[1] - text.clientHeight) / 2 + "px"; +} + +function fade_text(opacity) +{ + set_opacity("text", opacity); + if (opacity > 0.0) { + opacity -= 0.03; + if (opacity < 0.0) { + opacity = 0.0; + } + setTimeout(function() { fade_text(opacity); }, 30); } else { - set_opacity("next", 0.1); + var text = document.getElementById("text"); + if (text !== null) { + text.parentNode.removeChild(text); + } } - set_opacity("previous", can_go_previous() ? 0.7 : 0.1); +} + +function select_image(evt, filename, selected) +{ + if (selected) { + draw_text("Selecting " + filename + "..."); + } else { + draw_text("Unselecting " + filename + "..."); + } + + var req = new XMLHttpRequest(); + req.open("POST", window.location.origin + "/select", true); + req.setRequestHeader("Content-type", "application/x-www-form-urlencoded"); + req.send("event=" + evt + "&filename=" + filename + "&selected=" + selected); + + setTimeout(function() { fade_text(0.99); }, 30); } function key_down(which) { if (which == 39) { // right if (can_go_next()) { - set_opacity("next", 0.99); + set_opacity("next", global_highlight_opacity); } } else if (which == 37) { // left if (can_go_previous()) { - set_opacity("previous", 0.99); + set_opacity("previous", global_highlight_opacity); } } else if (which == 27) { // escape - set_opacity("close", 0.99); + set_opacity("close", global_higlight_opacity); + } else { + check_for_hash_change(); } } function key_up(which) { if (which == 39) { // right if (can_go_next()) { - set_opacity("next", 0.7); + set_opacity("next", global_default_opacity); go_next(); } } else if (which == 37) { // left if (can_go_previous()) { - set_opacity("previous", 0.7); + set_opacity("previous", global_default_opacity); go_previous(); } } else if (which == 27) { // escape - set_opacity("close", 0.7); + set_opacity("close", global_default_opacity); do_close(); } else if (which == 32 && global_select) { // space - select_image(global_image_list[global_image_num]); + select_image(global_image_list[global_image_num][0], global_image_list[global_image_num][1], 1); + } else if (which == 85 && global_select) { // u + select_image(global_image_list[global_image_num][0], global_image_list[global_image_num][1], 0); + } else { + check_for_hash_change(); } } -function select_image(filename) -{ - if (!req) - return; +function parse_image_num(default_value) { + var num = parseInt(window.location.hash.substr(1)); + if (num >= 1 && num <= global_image_list.length) { // and then num != NaN + return (num - 1); + } else { + return default_value; + } +} +window['parse_image_num'] = parse_image_num; - draw_text("Selecting " + filename + "..."); - - req.open("POST", "http://" + global_vhost + "/select", false); - req.setRequestHeader("Content-type", "application/x-www-form-urlencoded"); - req.send("mode=single&event=" + global_evt + "&filename=" + filename); +function check_for_hash_change() { + var num = parse_image_num(-1); + if (num != -1 && num != global_image_num) { + global_image_num = num; + relayout(); + } +} - setTimeout("fade_text(0.99)", 30); +function toggle_immersive() { + if (global_default_opacity == 0.7) { + global_disabled_opacity = 0.0; + global_default_opacity = 0.0; + global_highlight_opacity = 0.2; + global_infobox = false; + document.getElementById('immersivetoggle').innerHTML = 'Show decorations'; + } else { + global_disabled_opacity = 0.1; + global_default_opacity = 0.7; + global_highlight_opacity = 1.0; + global_infobox = true; + document.getElementById('immersivetoggle').innerHTML = 'Hide all decorations'; + } + relayout(); } +window['toggle_immersive'] = toggle_immersive; -function fade_text(opacity) +var swiping = false; +var swipe_start_x = 0; + +function set_swipe_pos(x, transition) { - set_opacity("text", opacity); - if (opacity > 0.0) { - opacity -= 0.03; - if (opacity < 0.0) - opacity = 0.0; - setTimeout("fade_text(" + opacity + ")", 30); - } else { - var text = document.getElementById("text"); - if (text != null) { - text.parentNode.removeChild(text); + x = Math.max(x, -window.innerWidth); + x = Math.min(x, window.innerWidth); + if (!can_go_previous()) { + x = Math.min(x, window.innerWidth / 8); + } + if (!can_go_next()) { + x = Math.max(x, -window.innerWidth / 8); + } + + var dpr = find_dpr(); + var main = document.getElementById("main"); + var children = main.children; + var to_remove = []; + for (var i = 0; i < children.length; i++) { + var child = children[i]; + if (child.className === "fsimg") { + var inum = parseInt(child.id); + var offset = inum - global_image_num; + child.style.transition = transition; + child.style.transform = "translate(" + (x + find_width()[0] * offset / dpr) + "px,0px)"; + } else if (child.className === "fsbox") { + var inum = parseInt(child.id.replace("_box", "")); + var offset = inum - global_image_num; + child.style.transition = transition; + child.style.transform = "translate(" + (x + find_width()[0] * offset / dpr) + "px,0px) scale(" + (1.0 / dpr) + ")"; } } } -function do_close() +function start_swipe(e) { - window.location = global_return_url; + swiping = true; + swipe_start_x = e.changedTouches[0].pageX; } -function draw_text(msg) +function end_swipe(e) { - // remove any text we might have left - var text = document.getElementById("text"); - if (text != null) { - text.parentNode.removeChild(text); + if (swiping) { + var new_x = (e.changedTouches[0].pageX - swipe_start_x); + if (new_x < -window.innerWidth / 4 && can_go_next()) { + set_swipe_pos(-window.innerWidth, "transform 0.1s ease-out"); + setTimeout(function() { go_next(); }, 100); + } else if (new_x > window.innerWidth / 4 && can_go_previous()) { + set_swipe_pos(window.innerWidth, "transform 0.1s ease-out"); + setTimeout(function() { go_previous(); }, 100); + } else { + set_swipe_pos(0, "transform 0.1s ease-out"); + } + swiping = false; } - - text = document.createElement("p"); - text.id = "text"; - text.style.position = "absolute"; - text.style.color = "white"; - text.style.lineHeight = "24px"; - text.style.font = "24px verdana, arial, sans-serif"; - text.innerHTML = msg; - - var main = document.getElementById("main"); - main.appendChild(text); - - text.style.left = (main.clientWidth - text.clientWidth) / 2 + "px"; - text.style.top = (main.clientHeight - text.clientHeight) / 2 + "px"; } -// enable the horrible horrible IE PNG hack -function ie_png_hack() +function swipe(e) { - var vstr = navigator.appVersion.split("MSIE"); - var v = parseFloat(vstr[1]); - if (v >= 5.5 && v < 7.0 && document.body.filters) { - var next = document.getElementById("next"); - next.outerHTML = ""; - - var previous = document.getElementById("previous"); - previous.outerHTML = ""; - - var close = document.getElementById("close"); - close.outerHTML = ""; + if (swiping) { + var new_x = (e.changedTouches[0].pageX - swipe_start_x); + set_swipe_pos(new_x, null); } } + +window.onload = function() { + relayout(); + setInterval(check_for_hash_change, 1000); + + document.addEventListener('touchstart', start_swipe, false); + document.addEventListener('touchend', end_swipe, false); + document.addEventListener('touchmove', swipe, false) + + var body = document.body; + body.onresize = function() { relayout(); }; + body.onkeydown = function(evt) { key_down(evt.keyCode); }; + body.onkeyup = function(evt) { key_up(evt.keyCode); }; + body.onhashchange = function() { check_for_hash_change(); }; + body.onclick = function() { check_for_hash_change(); }; + + var previous = document.getElementById('previous'); + previous.onmousedown = function() { if (can_go_previous()) { set_opacity('previous', global_highlight_opacity); } }; + previous.onmouseup = function() { if (can_go_previous()) { set_opacity('previous', global_default_opacity); go_previous(); } }; + previous.onmouseout = function() { if (can_go_previous()) { set_opacity('previous', global_default_opacity); } }; + + var next = document.getElementById('next'); + next.onmousedown = function() { if (can_go_next()) { set_opacity('next', global_highlight_opacity); } }; + next.onmouseup = function() { if (can_go_next()) { set_opacity('next', global_default_opacity); go_next(); } }; + next.onmouseout = function() { if (can_go_next()) { set_opacity('next', global_default_opacity); } }; + + var close = document.getElementById('close'); + close.onmousedown = function() { set_opacity('close', global_highlight_opacity); }; + close.onmouseup = function() { set_opacity('close', global_default_opacity); do_close(); }; + close.onmouseout = function() { set_opacity('close', global_default_opacity); }; + + var options = document.getElementById('options'); + options.onmousedown = function() { set_opacity('options', global_highlight_opacity); }; + options.onmouseup = function() { set_opacity('options', global_default_opacity); toggle_optionmenu(); }; + options.onmouseout = function() { set_opacity('options', global_default_opacity); }; +}; + +})();