if (aDocument) 
var isForcedCharset = false; if (aDocument) { 
  openInInternalViewer: function(aURL, aPageDescriptor, aDocument)  {    // try to open a view-source window while inheriting the charset (if any)    var charset = null;    if (aDocument)      charset = "charset=" + aDocument.characterSet;    openDialog("chrome://global/content/viewSource.xul",               "_blank",               "all,dialog=no",               aURL, charset, aPageDescriptor);  },
5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5872/0e2dd9e9516e522e6bd6e869f5e828a872bf92ed/viewSourceUtils.js/clean/toolkit/components/viewsource/content/viewSourceUtils.js