rem: document.addEventListener("keypress", function(event) { WebInspector.documentKeypress(event) }, true); 
add: document.addEventListener("focus", function(event) { WebInspector.changeFocus(event) }, true); 
context:     document.addEventListener("keypress", function(event) { WebInspector.documentKeypress(event) }, true);
meta: 5650	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5650/63e28315b5c63fe081f945e0aee1c4e59c84aa0f/inspector.js/clean/WebCore/page/inspector/inspector.js