rem: if (appCore != null) {  
context:   function BrowserPageInfo()  {    var charsetArg = new String();        if (appCore != null) {            try         {          //let's try to extract the current charset menu setting          var DocCharset = appCore.GetDocumentCharset();          charsetArg = "charset="+DocCharset;          dump("*** Current document charset: " + DocCharset + "\n");                    //we should "inherit" the charset menu setting in a new window          window.openDialog( "chrome://navigator/content/pageInfo.xul",                             "_blank",                             "chrome,dialog=no",                             window._content.location, charsetArg);        }            catch(ex)         {           dump("*** failed to read document charset \n");        }          } else {      //if everythig else fails, forget about the charset      window.openDialog( "chrome://navigator/content/pageInfo.xul",                         "_blank",                         "chrome,dialog=no",                         window._content.location);    }  }
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/acb80400903a048fb5359832e92abe784ae2e35b/navigator.js/clean/xpfe/browser/resources/content/navigator.js