for (var i = 0; i < texts.length; ++i) { var t = texts[i]; if (t && t.search(/\S/) >= 0) {  tipNode.setAttribute("label", t.replace(/\s+/g, " ") ); 
for each (var t in [titleText, XLinkTitleText]) { if (t && /\S/.test(t)) { tipNode.style.direction = direction;       t = t.replace(/[\r\t]/g, ' '); t = t.replace(/\n/g, '');  label.textContent = t;   tipNode.width = ""; tipNode.height = ""; tipNode.width = label.boxObject.width; tipNode.height = label.boxObject.height;  
function FillInHTMLTooltip(tipElement){  var retVal = false;  if (tipElement.namespaceURI == "http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul")    return retVal;  const XLinkNS = "http://www.w3.org/1999/xlink";  var titleText = null;  var XLinkTitleText = null;  var direction = tipElement.ownerDocument.dir;  while (!titleText && !XLinkTitleText && tipElement) {    if (tipElement.nodeType == Node.ELEMENT_NODE) {      titleText = tipElement.getAttribute("title");      XLinkTitleText = tipElement.getAttributeNS(XLinkNS, "title");      var defView = tipElement.ownerDocument.defaultView;      // XXX Work around bug 350679:      // "Tooltips can be fired in documents with no view".      if (!defView)        return retVal;      direction = defView.getComputedStyle(tipElement, "")        .getPropertyValue("direction");    }    tipElement = tipElement.parentNode;  }  var texts = [titleText, XLinkTitleText];  var tipNode = document.getElementById("aHTMLTooltip");  tipNode.style.direction = direction;  for (var i = 0; i < texts.length; ++i) {    var t = texts[i];    if (t && t.search(/\S/) >= 0) {      // XXX - Short-term fix to bug 67127: collapse whitespace here      tipNode.setAttribute("label", t.replace(/\s+/g, " ") );      retVal = true;    }  }  return retVal;}
5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5872/16d6ea87b293ada4b390573fec5d74c22a969dce/browser.js/clean/browser/base/content/browser.js