rem: window.addEventListener("unload", function(event) { WebInspector.windowUnload(event) }, true); 
add: doc.defaultView.addEventListener("focus", function(event) { WebInspector.windowFocused(event) }, true); 
context:     window.addEventListener("unload", function(event) { WebInspector.windowUnload(event) }, true);
meta: 5650	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5650/30e07e565a3698c3faf103baaca79ee99b97c3f1/inspector.js/buggy/WebCore/page/inspector/inspector.js