--- /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);
+}