rem: var browser=getBrowser(); browser.selectedTab = browser.addTab(url); 
add: var browser=getBrowser(); var t = browser.addTab(url); if (pref && !pref.GetBoolPref("browser.tabs.loadInBackground")) browser.selectedTab = t; 
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();		browser.selectedTab = browser.addTab(url);    }     // Fix new window.        newWin.saveFileAndPos = true;  }
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/37dcbb24544fb3e6bf6e6daf60f9ff0515d46d4f/contentAreaUtils.js/clean/xpfe/communicator/resources/content/contentAreaUtils.js