| changeset 606 | 40c7c2cf0797 |
| parent 543 | c0f2b6378f70 |
| child 1419 | 7ff24154351d |
| 605:1a23781534a2 | 606:40c7c2cf0797 |
|---|---|
1 function set_tab(tabname) { |
1 function set_tab(tabname, cookiename) { |
2 // set appropriate cookie |
2 // set appropriate cookie |
3 // XXX see if we can no just do it with jQuery |
3 async_remote_exec('set_cookie', cookiename, tabname); |
4 async_remote_exec('remember_active_tab', tabname); |
|
5 // trigger show + tabname event |
4 // trigger show + tabname event |
6 trigger_load(tabname); |
5 trigger_load(tabname); |
7 } |
6 } |