Index: Source/devtools/front_end/common/DOMExtension.js |
diff --git a/Source/devtools/front_end/common/DOMExtension.js b/Source/devtools/front_end/common/DOMExtension.js |
index 633ed5c362e53d7a54f3438af1a7a2b37e2856ab..0dac503811e7e738e08007c09f5e988f218563d1 100644 |
--- a/Source/devtools/front_end/common/DOMExtension.js |
+++ b/Source/devtools/front_end/common/DOMExtension.js |
@@ -334,6 +334,18 @@ Element.prototype.removeChildren = function() |
this.textContent = ""; |
} |
+Element.prototype.appendChildren = function(children) |
+{ |
+ for (var i = 0; i < children.length; ++i) |
+ this.appendChild(children[i]); |
+} |
+ |
+Element.prototype.setChildren = function(children) |
+{ |
+ this.removeChildren(); |
+ this.appendChildren(children); |
+} |
+ |
Element.prototype.isInsertionCaretInside = function() |
{ |
var selection = window.getSelection(); |