+
+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.onload = function() {
+ relayout();
+ setInterval(check_for_hash_change, 1000);
+
+ var body = document.body;
+ body.onresize = function() { relayout(); };
+ body.onkeydown = function() { key_down(event.keyCode); };
+ body.onkeyup = function() { key_up(event.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); };
+};
+
+})();