rem: loadURI(getShortcutOrURI(url)); _content.focus(); 
add: if (url.match(/^view-source:/)) { BrowserViewSourceOfURL(url.replace(/^view-source:/, ""), null); } else { loadURI(getShortcutOrURI(url)); _content.focus(); } 
context: function BrowserLoadURL(){  var url = gURLBar.value;  loadURI(getShortcutOrURI(url));  _content.focus();}
meta: 5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5872/a1a7753655612e13632126c003f4004aaa63d793/navigator.js/buggy/suite/browser/navigator.js