rem: document.addEventListener("focus", function(event) { WebInspector.changeFocus(event) }, true); 
add: document.addEventListener("mousedown", function(event) { WebInspector.changeFocus(event) }, true); 
context:     document.addEventListener("focus", function(event) { WebInspector.changeFocus(event) }, true);
meta: 10664	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/10664/965b04dcc7aa4a96c0b1977050db552253146955/inspector.js/buggy/third_party/WebKit/WebCore/page/inspector/inspector.js