removes the option of a tabbar
function del_tab(){ var tab_id = $$("tabs").getValue(); $$("tabs").removeOption(tab_id); }