add: window._content.focus(); 
context: function onLoadViewSource() {  viewSource(window.arguments[0]);}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/4674e6d2493d0ff6bba1ecfe7b13d6f65a462bab/viewsource.js/clean/xpfe/browser/resources/content/viewsource.js