--- a/web/views/tabs.py	Thu Jul 16 13:30:13 2009 +0200
+++ b/web/views/tabs.py	Thu Jul 16 14:44:18 2009 +0200
@@ -134,6 +134,7 @@
         w(u'</div>')
         # call the set_tab() JS function *after* each tab is generated
         # because the callback binding needs to be done before
+        # XXX make work history: true
         self.req.add_onload(u'''
     jQuery(function() {
       jQuery("#tabs-%(eeid)s").tabs("#panes-%(eeid)s > div", {initialIndex: %(tabindex)s});