context: function gotoHistoryIndex(aEvent){  var index = aEvent.target.getAttribute("index");  if (!index)    return false;  var where = whereToOpenLink(aEvent);  if (where == "current") {    // Normal click.  Go there in the current tab and update session history.    try {      getWebNavigation().gotoIndex(index);    }    catch(ex) {      return false;    }    return true;  }  else {    // Modified click.  Go there in a new tab/window.    // This code doesn't copy history or work well with framed pages.        var sessionHistory = getWebNavigation().sessionHistory;    var entry = sessionHistory.getEntryAtIndex(index, false);    var url = entry.URI.spec;    openUILinkIn(url, where);    return true;  }}
meta: 8395	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/8395/2fb9feaadc992e3ccd442db789244b253d0427f8/browser.js/buggy/browser/base/content/browser.js