| changeset 1808 | aa09e20dd8c0 |
| parent 1419 | 7ff24154351d |
| child 5658 | 7b9553a9db65 |
| 1693:49075f57cf2c | 1808:aa09e20dd8c0 |
|---|---|
1 function set_tab(tabname, cookiename) { |
1 function set_tab(tabname, cookiename) { |
2 // set appropriate cookie |
2 // set appropriate cookie |
3 async_remote_exec('set_cookie', cookiename, tabname); |
3 asyncRemoteExec('set_cookie', cookiename, tabname); |
4 // trigger show + tabname event |
4 // trigger show + tabname event |
5 trigger_load(tabname); |
5 trigger_load(tabname); |
6 } |
6 } |