rem: domView.show = function() { InspectorController.highlightDOMNode(panel.focusedDOMNode) }; 
add: show: function() { WebInspector.SourcePanel.prototype.show.call(this); this.updateTreeSelection(); }, 
context:     domView.show = function() { InspectorController.highlightDOMNode(panel.focusedDOMNode) };
meta: 5650	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5650/63e28315b5c63fe081f945e0aee1c4e59c84aa0f/DocumentPanel.js/clean/WebCore/page/inspector/DocumentPanel.js