changeset 42060 | 93a1a4fef532 |
parent 42059 | 51df72655b1a |
child 43076 | 2372284d9457 |
--- a/doc/hgmanpage.py Thu Apr 04 19:08:05 2019 +0200 +++ b/doc/hgmanpage.py Thu Apr 04 19:08:37 2019 +0200 @@ -335,7 +335,7 @@ elif style.endswith('roman'): self._indent = 5 - def next(self): + def __next__(self): if self._style == 'bullet': return self.enum_style[self._style] elif self._style == 'emdash': @@ -353,6 +353,9 @@ return res.lower() else: return "%d." % self._cnt + + next = __next__ + def get_width(self): return self._indent def __repr__(self):