rem: gDialog.SettingsTab.setAttribute("selected", "true"); gDialog.PublishTab.removeAttribute("selected"); 
add: gDialog.SettingsTab.selected = "true"; gDialog.PublishTab.selected = null; 
context: function SwitchPanel(panel){  if (gCurrentPanel != panel)  {    // Set index for starting panel on the <tabpanels> element    gDialog.TabPanels.setAttribute("selectedIndex", panel);    if (panel == gSettingsPanel)    {      // Trigger setting of style for the tab widgets      gDialog.SettingsTab.setAttribute("selected", "true");      gDialog.PublishTab.removeAttribute("selected");      // We collapse part of the Settings panel so the Publish Panel can be more compact      if (gDialog.ServerSettingsBox.getAttribute("collapsed"))      {        gDialog.ServerSettingsBox.removeAttribute("collapsed");        window.sizeToContent();      }    } else {      gDialog.PublishTab.setAttribute("selected", "true");      gDialog.SettingsTab.removeAttribute("selected");            if (!SeeMore)      {        gDialog.ServerSettingsBox.setAttribute("collapsed","true");        window.sizeToContent();      }    }    gCurrentPanel = panel;  }}
meta: 5459	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5459/30e4db28ced4996c2a5c609b374b1fc75f175370/EditorPublish.js/buggy/editor/ui/dialogs/content/EditorPublish.js