rem: { window.openDialog( "chrome: "_blank", "chrome,menubar,status,dialog=no,resizable", window.content.location, "view-source" ); } 
add: { dump("BrowserViewSource(); \n ");  window.openDialog( "chrome: "_blank", "chrome,menubar,status,dialog=no,resizable", window.content.location, "view-source" ); } 
context: function BrowserViewSource(){  window.openDialog( "chrome://navigator/content/",                     "_blank",                     "chrome,menubar,status,dialog=no,resizable",                     window.content.location,                     "view-source" );}
meta: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10234/1e1ba37fe43340db5f075581a53c8d4d6987ce7f/navigator.js/clean/suite/browser/navigator.js