From 8836613c437e5ff3f0bc86cb1754756a1b7ba6cb Mon Sep 17 00:00:00 2001 From: Andrew Dolgov Date: Mon, 19 May 2008 12:28:20 +0100 Subject: debug mode tweaks, remove mouse_handler() --- prefs.js | 10 ++++------ 1 file changed, 4 insertions(+), 6 deletions(-) (limited to 'prefs.js') diff --git a/prefs.js b/prefs.js index 698bc7163..41b4d7688 100644 --- a/prefs.js +++ b/prefs.js @@ -1447,7 +1447,7 @@ function init() { arguments.callee.done = true; if (getURLParam('debug')) { - document.getElementById('debug_output').style.display = 'block'; + Element.show("debug_output"); debug('debug mode activated'); } @@ -1743,14 +1743,12 @@ function pref_hotkey_handler(e) { if (!hotkey_prefix) { if (keycode == 68 && shift_key) { // d - if (!debug_mode_enabled) { - document.getElementById('debug_output').style.display = 'block'; + if (!Element.visible("debug_output")) { + Element.show("debug_output"); debug('debug mode activated'); } else { - document.getElementById('debug_output').style.display = 'none'; + Element.hide("debug_output"); } - - debug_mode_enabled = !debug_mode_enabled; return; } -- cgit v1.2.3