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: 5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5872/d018fa4b19f17d32d733b05d0c9a9718bc7657a3/navigator.js/clean/xpfe/browser/resources/content/navigator.js