rem: gDialog.TabPanels.setAttribute("selectedIndex", panel); 
add: gDialog.TabPanels.selectedIndex = panel; 
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: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/1c8672d4f4c756485ea32dc9669b2abe3cbc47eb/EditorPublish.js/clean/editor/ui/dialogs/content/EditorPublish.js