[widget] allow to specify hour/minute separator on the JQueryTimePicker (vgodard patch)
functionset_tab(tabname,cookiename){// set appropriate cookieasyncRemoteExec('set_cookie',cookiename,tabname);// trigger show + tabname eventtrigger_load(tabname);}