From 8836613c437e5ff3f0bc86cb1754756a1b7ba6cb Mon Sep 17 00:00:00 2001
From: Andrew Dolgov <fox@bah.spb.su>
Date: Mon, 19 May 2008 12:28:20 +0100
Subject: debug mode tweaks, remove mouse_handler()

---
 functions.js | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

(limited to 'functions.js')

diff --git a/functions.js b/functions.js
index 997bcb13b..01de05b22 100644
--- a/functions.js
+++ b/functions.js
@@ -1,5 +1,4 @@
 var hotkeys_enabled = true;
-var debug_mode_enabled = false;
 var xmlhttp_rpc = Ajax.getTransport();
 var notify_silent = false;
 var last_progress_point = 0;
@@ -1384,7 +1383,7 @@ function debug(msg) {
 	}
 
 	var c = document.getElementById('debug_output');
-	if (c && c.style.display == "block") {
+	if (c && Element.visible(c)) {
 		while (c.lastChild != 'undefined' && c.childNodes.length > 100) {
 			c.removeChild(c.lastChild);
 		}
-- 
cgit v1.2.3