rem: if (tabControl && tab) { tabControl.selectedTab = tab; 
add: if (tabbox && tab) { tabbox.selectedTab = tab; 
context: function onLoadPageInfo(){  var page;  if ((window.arguments.length >= 1) && window.arguments[0])    page = window.arguments[0];  else    page = window.opener.frames[0].document;  var root = document.getElementById("cont");  makeDocument(page, root);  var formTreeHolder = document.getElementById("formTreeContainer");  var hasForm = makeFormTree(page, formTreeHolder);  if (hasForm)  {    var formsTab = document.getElementById("formsTab");    formsTab.removeAttribute("hidden");    formTreeHolder.removeAttribute("collapsed");  }  var imageTreeHolder = document.getElementById("imageTreeContainer");  var hasImages = makeImageTree(page, imageTreeHolder);  if (hasImages)  {    var imagesTab = document.getElementById("imagesTab");    imagesTab.removeAttribute("hidden");    imageTreeHolder.removeAttribute("collapsed");  }  /* Call registered overlay init functions */  for (x in onLoadRegistry)  {    onLoadRegistry[x]();  }  /* Selected the requested tab, if the name is specified */  /*  if (window.arguments != null) { */  if ("arguments" in window) {    var tabName = window.arguments[0];    if (tabName)    {      var tabControl = document.getElementById("tabcontrol");      var tab = document.getElementById(tabName);      if (tabControl && tab) {        tabControl.selectedTab = tab;      }    }  }}
meta: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10234/09db478ae8003aec22e330514efa0a1e3ca6e5d2/pageInfo.js/buggy/suite/browser/pageInfo.js