(scriptName,func,show)
| 95 | } |
| 96 | |
| 97 | function getScript(scriptName,func,show) |
| 98 | { |
| 99 | var head = document.getElementsByTagName("head")[0]; |
| 100 | var script = document.createElement('script'); |
| 101 | script.id = scriptName; |
| 102 | script.type = 'text/javascript'; |
| 103 | script.onload = func; |
| 104 | script.src = scriptName+'.js'; |
| 105 | if ($.browser.msie && $.browser.version<=8) { |
| 106 | // script.onload does not work with older versions of IE |
| 107 | script.onreadystatechange = function() { |
| 108 | if (script.readyState=='complete' || script.readyState=='loaded') { |
| 109 | func(); if (show) showRoot(); |
| 110 | } |
| 111 | } |
| 112 | } |
| 113 | head.appendChild(script); |
| 114 | } |
| 115 | |
| 116 | function createIndent(o,domNode,node,level) |
| 117 | { |
no test coverage detected