83 |
{ |
{ |
84 |
// return; // Disable debugging |
// return; // Disable debugging |
85 |
|
|
86 |
if(!debug.box) |
var debug_div = element_id('debug'); |
|
{ |
|
|
debug.box = document.createElement("div"); |
|
|
debug.box.setAttribute("style", |
|
|
"background-color:white" + |
|
|
"font-family: monospace; " + |
|
|
"border: solid black 3px; "+ |
|
|
"padding: 10px;"); |
|
87 |
|
|
88 |
document.body.appendChild(debug.box); |
if (debug_div) debug_div.innerHTML += msg+"<br/>\n"; |
|
debug.box.innerHTML = "<h1 style='test-align:cent'>Debugging Output</h1>"; |
|
|
} |
|
|
|
|
|
var p = document.createElement("p"); |
|
|
p.appendChild(document.createTextNode(msg)); |
|
|
debug.box.appendChild(p); |
|
89 |
} |
} |
90 |
|
|
91 |
// |
// |