700 style = '; '.join(style) |
700 style = '; '.join(style) |
701 |
701 |
702 if self.filename: |
702 if self.filename: |
703 yield 0, ('<span class="filename">' + self.filename + '</span>') |
703 yield 0, ('<span class="filename">' + self.filename + '</span>') |
704 |
704 |
705 yield 0, ('<pre' + (style and ' style="%s"' % style) + '>') |
705 # the empty span here is to keep leading empty lines from being |
|
706 # ignored by HTML parsers |
|
707 yield 0, ('<pre' + (style and ' style="%s"' % style) + '><span></span>') |
706 for tup in inner: |
708 for tup in inner: |
707 yield tup |
709 yield tup |
708 yield 0, '</pre>' |
710 yield 0, '</pre>' |
709 |
711 |
710 def _format_lines(self, tokensource): |
712 def _format_lines(self, tokensource): |