1
2
3
4
5
6
7
8
9
function debug(what) {
    if (!prettyPrint) {return;}
    var t = prettyPrint(what);
    t.ondblclick = function(){
        // Table removed onDblClick...
        t.parentNode.removeChild(t);
    };
    document.body.insertBefore(t, document.body.firstChild);
}