rem: WebInspector.animateStyle(animations, 250, function() { resultsContainer.removeChildren(); delete this.searchResultsTree; }); 
add: doc.defaultView.addEventListener("focus", function(event) { WebInspector.windowFocused(event) }, true); 
context:             WebInspector.animateStyle(animations, 250, function() { resultsContainer.removeChildren(); delete this.searchResultsTree; });
meta: 10664	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/10664/1094cc0b2033e506b3f6e4748e051f6f8558fbc0/inspector.js/clean/third_party/WebKit/WebCore/page/inspector/inspector.js