public static final java.lang.String |
script |
"\nfunction show(id) {\n document.getElementById(id).style.visibility = \'visible\';\n}\n\nfunction hide(id) {\n document.getElementById(id).style.visibility = \'hidden\';\n}\nfunction showScreenshotOn(e) {\n var targ;\n if (!e) var e = window.event;\n if (e.target) targ = e.target\n else if (e.srcElement) targ = e.srcElement\n if (targ.nodeType == 3) // defeat Safari bug\n targ = targ.parentNode;\n if (targ.nodeName == \'P\')\n targ = targ.parentNode;\n return (targ.className.indexOf(\'stackTrace\') != 0);\n}" |