add:  panel.style.display = visibility ? "block" : "none"; 
context: function updateTabState() {  for ( var i=0 ; i<TABS.length ; i++ ) {    var tab = TABS[i];    // Disable the active tab and enable the others.    var button = document.getElementById(tab + "Tab");    if (tab == gActiveTab) {      addClass(button, "active");      button.disabled = true;    }    else {      removeClass(button, "active");      if (gOriginMode == "upload" && (tab == "edit" || tab == "hack"))        // The edit and hack buttons should remain disabled no matter what        // if the origin of the changes is an uploaded file.        button.disabled = true;      else        button.disabled = false;    }    // Show the active panel and hide the others.    var panel = document.getElementById(tab + "Panel");    var visibility = (tab == gActiveTab);    if (tab == "edit" || tab == "hack") {      // The edit and hack tabs share the edit panel, so we have to make sure      // either tab makes the edit panel visible.      panel = document.getElementById("editPanel");      visibility = gActiveTab == "edit" || gActiveTab == "hack";    }    panel.style.visibility = visibility ? "visible" : "hidden";  }}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/47981316fc66afe5c80c29498082f989907cf670/doctor.js/clean/webtools/doctor/doctor.js