rem: function SwitchPanel(panel) 
add: function SwitchPanel(tab) 
context: function SwitchPanel(panel){  if (gCurrentPanel != panel)  {    // Set index for starting panel on the <tabpanels> element    gDialog.TabPanels.selectedIndex = panel;    if (panel == gSettingsPanel)    {      // Trigger setting of style for the tab widgets      gDialog.SettingsTab.selected = "true";      gDialog.PublishTab.selected = null;    } else {      gDialog.PublishTab.selected = "true";      gDialog.SettingsTab.selected = null;    }    gCurrentPanel = panel;  }}
meta: 5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5872/56fba4830f618a6aa6f5bbda4d257d7618556a14/EditorPublish.js/clean/editor/ui/dialogs/content/EditorPublish.js