rem: this.networkListItem.ondeselect = function(element) { WebInspector.networkPanel.hide() }; 
add: ondeselect: function() { if (this.panel) this.panel.hide(); } 
context:     this.networkListItem.ondeselect = function(element) { WebInspector.networkPanel.hide() };
meta: 5650	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5650/81abc84dcf5f8eaa2dfbd11f9563bb8fc5f4c630/inspector.js/buggy/WebCore/page/inspector/inspector.js