show: function() { WebInspector.SourcePanel.prototype.show.call(this); this.updateTreeSelection(); }, 
domView.show = function() { InspectorController.highlightDOMNode(panel.focusedDOMNode); panel.updateBreadcrumbSizes(); panel.updateTreeSelection(); }; 
    show: function()    {        WebInspector.SourcePanel.prototype.show.call(this);        this.updateTreeSelection();    },
1725	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/1725/aadbf9037c45e46a7b000468c28d440749cab12c/DocumentPanel.js/clean/WebCore/page/inspector/DocumentPanel.js