rem:   newWin.saveFileAndPos = true; 
context: function openNewWindowWith(url) {  urlSecurityCheck(url, document);  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;    var charsetArg = "charset="+DocCharset;    //we should "inherit" the charset menu setting in a new window    newWin = window.openDialog( getBrowserURL(), "_blank", "chrome,all,dialog=no", url, charsetArg, true );  }  else { // forget about the charset information.    newWin = window.openDialog( getBrowserURL(), "_blank", "chrome,all,dialog=no", url, null, true );  }  // Fix new window.      newWin.saveFileAndPos = true;}
meta: 5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5872/571633973199ae1f2efa8c4be51ec7599793306b/contentAreaUtils.js/buggy/xpfe/communicator/resources/content/contentAreaUtils.js