ThirdParty/Pygments/pygments/formatters/html.py

changeset 5072
aab59042fefb
parent 4697
c2e9bf425554
child 5713
6762afd9f963
equal deleted inserted replaced
5070:4e4651e88674 5072:aab59042fefb
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):

eric ide

mercurial