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)