+(function() {
+
+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()
{
var dpr = find_dpr();
set_opacity("options", 0.7);
}
}
+window['toggle_optionmenu'] = toggle_optionmenu;
function draw_text(msg)
{
return default_value;
}
}
+window['parse_image_num'] = parse_image_num;
function check_for_hash_change() {
var num = parse_image_num(-1);
}
relayout();
}
+window['toggle_immersive'] = toggle_immersive;
window.onload = function() {
relayout();
options.onmouseup = function() { set_opacity('options', global_default_opacity); toggle_optionmenu(); };
options.onmouseout = function() { set_opacity('options', global_default_opacity); };
};
+
+})();