rem: { var charsetArg = new String();  try {  var DocCharset = appCore.GetDocumentCharset(); charsetArg = "charset="+DocCharset; debug("*** Current document charset: " + DocCharset + "\n");   window.openDialog( "chrome: "_blank", "chrome,dialog=no", window._content.location, charsetArg); }  catch(ex) { debug("*** failed to read document charset \n"); }  } 
add: { window.openDialog("chrome: "_blank", "chrome,dialog=no"); } 
context:   function BrowserPageInfo()  {    var charsetArg = new String();          try         {          //let's try to extract the current charset menu setting          var DocCharset = appCore.GetDocumentCharset();          charsetArg = "charset="+DocCharset;          debug("*** 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)         {           debug("*** failed to read document charset \n");        }        }
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/c70c2dd2118dfb7f6483b393767fd1c4d8fad792/navigator.js/buggy/xpfe/browser/resources/content/navigator.js