rem: if (gCurrentPanel != panel) {  gDialog.TabPanels.selectedIndex = panel; if (panel == gSettingsPanel) {  gDialog.SettingsTab.selected = "true"; gDialog.PublishTab.selected = null; } else { gDialog.PublishTab.selected = "true"; gDialog.SettingsTab.selected = null; } gCurrentPanel = panel; } 
add: if (gDialog.TabBox.selectedTab != tab) gDialog.TabBox.selectedTab = 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: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/eee10d28c4e4572a9b5467263a2cd7f3eeb50897/EditorPublish.js/clean/editor/ui/dialogs/content/EditorPublish.js