| 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();
|
|
|