rem: window.content.focus(); 
add: window._content.focus(); 
context: function EditorRunLog(){  var fs;  fs = EditorGetScriptFileSpec();  EditorExecuteScript(fs);  window.content.focus();}
meta: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10234/03ea82871ae0d2b0e52e9f402c89829c8a4feb6a/EditorCommandsDebug.js/buggy/editor/ui/composer/content/EditorCommandsDebug.js