rem: function BrowserViewSourceOfURL(url, charset) 
add: function BrowserViewSourceOfURL(url, charset, pageCookie) 
context: function BrowserViewSourceOfURL(url, charset){  // try to open a view-source window while inheriting the charset (if any)  openDialog("chrome://navigator/content/viewSource.xul",             "_blank",             "scrollbars,resizable,chrome,dialog=no",             url, charset);}
meta: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10234/af9b1d66679701919d450d68e4348894b026830f/navigator.js/buggy/xpfe/browser/resources/content/navigator.js