1 function set_tab(tabname) {

     1 function set_tab(tabname) {

     2   // set appropriate cookie

     2   // set appropriate cookie

     3   // XXX see if we can no just do it with jQuery

     3   // XXX see if we can no just do it with jQuery

     4   async_remote_exec('remember_active_tab', tabname);

     4   async_remote_exec('remember_active_tab', tabname);

     5   // trigger show + tabname event

     5   // trigger show + tabname event

     7   trigger_load(tabname);

     6   trigger_load(tabname);

     8 }

     7 }