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: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/f5a8a1af2368f6bc7df2ed21b3704dabca8c6809/navigator.js/buggy/suite/browser/navigator.js