(txt, classname, callback)
| 81 | if (classname) s.className = classname; |
| 82 | return s; }; |
| 83 | var A = function A(txt, classname, callback) { var a = document.createElement("a"); |
| 84 | if (classname) a.className = classname; |
| 85 | a.appendChild(text(txt)); |
| 86 | a.href = '#'; |
| 87 | a.onclick = function() { callback(); return false; }; |
| 88 | return a; }; |
| 89 | |
| 90 | function _renderjson(json, indent, dont_indent, show_level, max_string, sort_objects) { |
| 91 | var my_indent = dont_indent ? "" : indent; |
no test coverage detected