removeOption

removes the option of a control

void removeOption(id id);

ID of the option being removed

function del_tab(){
    var tab_id = $$("tabs").getValue();
    $$("tabs").removeOption(tab_id);
}