diff options
author | Andrew Dolgov <[email protected]> | 2008-05-19 12:28:20 +0100 |
---|---|---|
committer | Andrew Dolgov <[email protected]> | 2008-05-19 12:28:20 +0100 |
commit | 8836613c437e5ff3f0bc86cb1754756a1b7ba6cb (patch) | |
tree | b824dfd80b302b88696809a383d47c66aee23af7 /functions.js | |
parent | 19d7bfcd1dd95d121ba30db21e068d200132b97d (diff) |
debug mode tweaks, remove mouse_handler()
Diffstat (limited to 'functions.js')
-rw-r--r-- | functions.js | 3 |
1 files changed, 1 insertions, 2 deletions
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); } |