rem:   newWin.saveFileAndPos = true; 
context: function openNewTabWith(url) {	urlSecurityCheck(url, document);  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")) {		var browser=getBrowser();		var t = browser.addTab(url); // open link in new tab    if (pref && !pref.getBoolPref("browser.tabs.loadInBackground"))      browser.selectedTab = t;  }  // Fix new window.      newWin.saveFileAndPos = true;}
meta: 8395	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/8395/36c45347f77b707d2544c6278598d8e16f0e0913/contentAreaUtils.js/clean/suite/common/contentAreaUtils.js