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/c1cb076056223bbabc55f4acf7f8c8c09abbc8a5/EditorPublish.js/buggy/editor/ui/dialogs/content/EditorPublish.js