# HG changeset patch # User Sylvain Thenault # Date 1229697851 -3600 # Node ID 5b58fd1aba50680e261857dcc47ede0d1c2ecc59 # Parent d3543063a415eac5f7474b89e38461010e717ea1 missing file diff -r d3543063a415 -r 5b58fd1aba50 web/data/cubicweb.tabs.js --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/web/data/cubicweb.tabs.js Fri Dec 19 15:44:11 2008 +0100 @@ -0,0 +1,5 @@ +function set_tab(tabname) { + // set appropriate cookie + // XXX see if we can no just do it with jQuery + async_remote_exec('remember_active_tab', tabname); +}