debug mode tweaks, remove mouse_handler()

1 files changed, 4 insertions, 6 deletions

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;
 			}