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