Searched refs:sourceElement (Results 1 – 2 of 2) sorted by relevance
46 addDetailsElement: function (sourceElement) { argument48 while (sourceElement.childNodes.length > 0) {49 detailsDiv.appendChild(sourceElement.removeChild(sourceElement.childNodes[0]));51 sourceElement.appendChild(detailsDiv);
249 var sourceElement = document.createElement('pre');250 this.appendText(sourceElement, this.generateSource());252 sourceWrapper.appendChild(sourceElement);