rem: function onLoadViaOpenDialog() {  if ( document.getElementById("Browser:Throbber").getAttribute("busy") == "true" ) appCore.stop(); if( window.arguments[1] == "view-source" ) { var element = document.getElementById("main-window"); var preface = element.getAttribute("viewsourcetitlepreface"); element.setAttribute( "titlepreface", preface ); appCore.isViewSource = true; element.setAttribute("windowtype","Browser:view-source"); 
add: function onLoadViaOpenDialog() {  if ( document.getElementById("Browser:Throbber").getAttribute("busy") == "true" ) { dump( "Stopping load of default initial page\n" ); appCore.stop(); } dump( "Loading page specified via openDialog\n" ); dump("Check if a view source window \n"); if( window.arguments[1]=="view-source" ) { dump(" A view source window \n"); var element = document.getElementById("main-window");  var preface = element.getAttribute("viewsourcetitlepreface"); element.setAttribute( "titlepreface", preface ); appCore.isViewSource = true; element.setAttribute("windowtype","Browser:view-source"); } appCore.loadUrl( window.arguments[0] ); 
context: function onLoadViaOpenDialog() {  // See if load in progress (loading default page).  if ( document.getElementById("Browser:Throbber").getAttribute("busy") == "true" )    appCore.stop();  if( window.arguments[1] == "view-source" )  {    var element = document.getElementById("main-window");    var preface = element.getAttribute("viewsourcetitlepreface");    element.setAttribute( "titlepreface", preface );    appCore.isViewSource = true;    element.setAttribute("windowtype","Browser:view-source");  }  appCore.loadUrl( window.arguments[0] );}
meta: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10234/d018fa4b19f17d32d733b05d0c9a9718bc7657a3/navigator.js/clean/xpfe/browser/resources/content/navigator.js