rem: this.networkListItem.onselect = function(element) { WebInspector.StatusTreeElement.selected(element); WebInspector.navigateToPanel(WebInspector.networkPanel); }; 
add: onselect: function() { var selectedElement = WebInspector.fileOutline.selectedTreeElement; if (selectedElement) selectedElement.deselect(); if (this.panel) WebInspector.navigateToPanel(this.panel); }, 
context:     this.networkListItem.onselect = function(element) { WebInspector.StatusTreeElement.selected(element); WebInspector.navigateToPanel(WebInspector.networkPanel); };
meta: 5650	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5650/81abc84dcf5f8eaa2dfbd11f9563bb8fc5f4c630/inspector.js/buggy/WebCore/page/inspector/inspector.js