diff options
Diffstat (limited to 'webkit/glue/devtools/js/dom_agent.js')
-rw-r--r-- | webkit/glue/devtools/js/dom_agent.js | 12 |
1 files changed, 10 insertions, 2 deletions
diff --git a/webkit/glue/devtools/js/dom_agent.js b/webkit/glue/devtools/js/dom_agent.js index 31d13a7..c33b03f 100644 --- a/webkit/glue/devtools/js/dom_agent.js +++ b/webkit/glue/devtools/js/dom_agent.js @@ -692,12 +692,13 @@ devtools.DomAgent.prototype.getNodeForId = function(nodeId) { devtools.DomAgent.prototype.setDocumentElement = function(payload) { var doc = this.getDocument(); if (doc.documentElement) { - return; + this.reset(); + doc = this.getDocument(); } this.setChildNodes(0, [payload]); doc.documentElement = doc.firstChild; doc.documentElement.ownerDocument = doc; - doc.fireDomEvent_("DOMContentLoaded"); + WebInspector.panels.elements.reset(); }; @@ -735,6 +736,13 @@ devtools.DomAgent.prototype.bindNodes_ = function(children) { * {@inheritDoc}. */ devtools.DomAgent.prototype.hasChildrenUpdated = function(nodeId, newValue) { + var node = this.idToDomNode_[nodeId]; + var outline = WebInspector.panels.elements.treeOutline; + var treeElement = outline.findTreeElement(node); + if (treeElement) { + treeElement.hasChildren = newValue; + treeElement.whitespaceIgnored = Preferences.ignoreWhitespace; + } }; |