ThirdParty/Pygments/pygments/formatters/html.py

changeset 5072
aab59042fefb
parent 4697
c2e9bf425554
child 5713
6762afd9f963
--- a/ThirdParty/Pygments/pygments/formatters/html.py	Wed Jul 27 18:10:08 2016 +0200
+++ b/ThirdParty/Pygments/pygments/formatters/html.py	Fri Jul 29 19:50:40 2016 +0200
@@ -702,7 +702,9 @@
         if self.filename:
             yield 0, ('<span class="filename">' + self.filename + '</span>')
 
-        yield 0, ('<pre' + (style and ' style="%s"' % style) + '>')
+        # the empty span here is to keep leading empty lines from being
+        # ignored by HTML parsers
+        yield 0, ('<pre' + (style and ' style="%s"' % style) + '><span></span>')
         for tup in inner:
             yield tup
         yield 0, '</pre>'

eric ide

mercurial