rem:    if (window && (wintype == "navigator:browser") && window._content && window._content.document) { var DocCharset = window._content.document.characterSet; charsetArg = "charset="+DocCharset; dump("*** Current document charset: " + DocCharset + "\n"); 
add:    if (window && (wintype == "navigator:browser") && window._content && window._content.document) { var DocCharset = window._content.document.characterSet; charsetArg = "charset="+DocCharset; dump("*** Current document charset: " + DocCharset + "\n"); 
context:    function openNewWindowWith( url ) {     var newWin;     var wintype = document.firstChild.getAttribute('windowtype');          // if and only if the current window is a browser window and it has a document with a character     // set, then extract the current charset menu setting from the current document and use it to     // initialize the new browser window...     if (window && (wintype == "navigator:browser") &&         window._content && window._content.document) {       var DocCharset = window._content.document.characterSet;       charsetArg = "charset="+DocCharset;       dump("*** Current document charset: " + DocCharset + "\n");        //we should "inherit" the charset menu setting in a new window       newWin = window.openDialog( getBrowserURL(), "_blank", "chrome,all,dialog=no", url, charsetArg );     }     else { // forget about the charset information.       newWin = window.openDialog( getBrowserURL(), "_blank", "chrome,all,dialog=no", url );     }      // Fix new window.         newWin.saveFileAndPos = true;   }
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/32a540fcb10501192bc3e30a58a83b89588e5711/contentAreaUtils.js/buggy/xpfe/communicator/resources/content/contentAreaUtils.js