rem:   var targetBrowser = null; if (gBrowser.mTabbedMode) { var targetBrowserIndex = gBrowser.getBrowserIndexForDocument(event.originalTarget); if (targetBrowserIndex == -1) return; targetBrowser = gBrowser.getBrowserAtIndex(targetBrowserIndex); } else { targetBrowser = gBrowser.mCurrentBrowser; } 
context: function pageShowEventHandlers(event){  // Filter out events that are not about the document load we are interested in  if (event.originalTarget == content.document) {    checkForDirectoryListing();    charsetLoadListener(event);        XULBrowserWindow.asyncUpdateUI();  }  // some event handlers want to be told what the original browser/listener is  var targetBrowser = null;  if (gBrowser.mTabbedMode) {    var targetBrowserIndex = gBrowser.getBrowserIndexForDocument(event.originalTarget);    if (targetBrowserIndex == -1)      return;    targetBrowser = gBrowser.getBrowserAtIndex(targetBrowserIndex);  } else {    targetBrowser = gBrowser.mCurrentBrowser;  }}
meta: 8395	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/8395/5ec205635eb612638dbb23abe3e751ce1897cf2a/browser.js/buggy/browser/base/content/browser.js