1
function set_tab(tabname) {
2
// set appropriate cookie
3
// XXX see if we can no just do it with jQuery
4
async_remote_exec('remember_active_tab', tabname);
5
}