diff MoinMoin/formatter/text_html.py @ 1866:0194beaf511e

reduce reduce, filter and map usage
author Thomas Waldmann <tw AT waldmann-edv DOT de>
date Sat, 10 Mar 2007 19:20:19 +0100
parents 4a31739bc6e1
children 64507f46beb2
line wrap: on
line diff
--- a/MoinMoin/formatter/text_html.py	Fri Mar 09 00:56:44 2007 +0100
+++ b/MoinMoin/formatter/text_html.py	Sat Mar 10 19:20:19 2007 +0100
@@ -1199,7 +1199,7 @@
             while len(self.request._fmt_hd_counters) < count_depth:
                 self.request._fmt_hd_counters.append(0)
             self.request._fmt_hd_counters[-1] = self.request._fmt_hd_counters[-1] + 1
-            number = '.'.join(map(str, self.request._fmt_hd_counters[self._show_section_numbers-1:]))
+            number = '.'.join([str(x) for x in self.request._fmt_hd_counters[self._show_section_numbers-1:]])
             if number: number += ". "
 
         # Add space before heading, easier to check source code