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 }