Adds a header element.
(self, txt)
| 855 | self.text.append("{0}{1}".format(" " * indent, txt)) |
| 856 | |
| 857 | def add_header(self, txt): |
| 858 | """Adds a header element.""" |
| 859 | self.add_line("{0}{1}{0}\n".format("-" * 10, txt)) |
| 860 | |
| 861 | def add_newline(self): |
| 862 | """Adds a newline.""" |