rem: if (wintype == "navigator:browser") { 
add: if (wintype == "navigator:browser") 
context: function openNewTabWith(href, linkNode, event, securityCheck, postData, sendReferrer){  if (securityCheck)    urlSecurityCheck(href, document);   var prefSvc = Components.classes["@mozilla.org/preferences-service;1"]                          .getService(Components.interfaces.nsIPrefService);  prefSvc = prefSvc.getBranch(null);  // should we open it in a new tab?  var loadInBackground = true;  try {    loadInBackground = prefSvc.getBoolPref("browser.tabs.loadInBackground");  }  catch(ex) {  }  if (event && event.shiftKey)    loadInBackground = !loadInBackground;  // As in openNewWindowWith(), we want to pass the charset of the  // current document over to a new tab.   var wintype = document.firstChild.getAttribute('windowtype');  var originCharset;  if (wintype == "navigator:browser") {    originCharset = window.content.document.characterSet;  }  // open link in new tab  var browser = top.document.getElementById("content");  // If sendReferrer is not specified, default to true  var referrer = (sendReferrer == false) ? null : getReferrer(document);  var theTab = browser.addTab(href, referrer, originCharset, postData);  if (!loadInBackground)    browser.selectedTab = theTab;    if (linkNode)    markLinkVisited(href, linkNode);}
meta: 5459	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5459/0545d3f114e89dd60d62918be774dce26056e457/contentAreaUtils.js/buggy/toolkit/content/contentAreaUtils.js