web/views/tableview.py
changeset 7801 67f9677c1253
parent 7600 75d208ab8444
child 7845 2172978be237
--- a/web/views/tableview.py	Fri Sep 16 12:48:26 2011 +0200
+++ b/web/views/tableview.py	Fri Sep 16 12:48:28 2011 +0200
@@ -192,7 +192,9 @@
                 continue
             # compute column header
             if headers is not None:
-                label = headers[displaycols.index(colindex)]
+                _label = headers[displaycols.index(colindex)]
+                if _label is not None:
+                    label = _label
             if colindex == mainindex and label is not None:
                 label += ' (%s)' % self.cw_rset.rowcount
             column = TableColumn(label, colindex)