| 671 | document.write(stream, encoding=self.encoding, xml_declaration=True) |
| 672 | |
| 673 | def indent(self, elem, level=0): |
| 674 | # in-place prettyprint formatter |
| 675 | i = "\n" + level * " " |
| 676 | if len(elem): |
| 677 | if not elem.text or not elem.text.strip(): |
| 678 | elem.text = i + " " |
| 679 | if not elem.tail or not elem.tail.strip(): |
| 680 | elem.tail = i |
| 681 | for elem in elem: |
| 682 | self.indent(elem, level + 1) |
| 683 | if not elem.tail or not elem.tail.strip(): |
| 684 | elem.tail = i |
| 685 | else: |
| 686 | if level and (not elem.tail or not elem.tail.strip()): |
| 687 | elem.tail = i |
| 688 | |
| 689 | |
| 690 | class IncrementalElement: |