// Updates the tabs for the tabbed_pane.
function go_tabbed_pane_update_tabs(tabs_id, select_tab) {
    // There is a 'space' cell before each tab and array for javascript is base
    // zero, so the new tab to select needs to be converted to an array position.
    select_tab = select_tab + (select_tab - 1)
    
    $(tabs_id).getElementsByClassName('selected')[0].removeClassName('selected');
    $(tabs_id).getElementsByTagName('th')[select_tab].addClassName('selected');
}