Updated the embedded JavaScript in tabs.c

to switch the class of tabs between tab_cell_label and
tab_cell_edit when different tabs are selected.

diff --git a/webcit/tabs.c b/webcit/tabs.c
index 2118d8bb1c7baa42bbef3fd923dd70068c6ce1ad..ef58f27bc0fcc65005e9637666d6dc1c9d6f78fd 100644 (file)
--- a/webcit/tabs.c
+++ b/webcit/tabs.c
@@ -24,6 +24,8 @@ void tabbed_dialog(int num_tabs, char *tabnames[]) {
                "       }                                                                       "
                "       $('tabdiv'+previously_selected_tab).style.display = 'none';             "
                "       $('tabdiv'+which_tab).style.display = 'block';                          "
+               "       $('tabtd'+previously_selected_tab).className = 'tab_cell_edit';         "
+               "       $('tabtd'+which_tab).className = 'tab_cell_label';                      "
                "       previously_selected_tab = which_tab;                                    "
                "}                                                                              "
                "</script>                                                                      \n"