Merge pull request #62 from pokazef/master

Set Pygments option to keep leading blank lines
2019-09-25 18:06:51 +02:00 · 2019-09-25 18:06:51 +02:00 · 60d89014ec
commit 60d89014ec
parent 7b87f80865 94caef2816
1 changed files with 1 additions and 0 deletions
--- a/http/web.py
+++ b/http/web.py
@ -269,6 +269,7 @@ if mode == 'source':
        except:
            lexer = pygments.lexers.get_lexer_by_name ('text')

+        lexer.stripnl = False
        formatter = pygments.formatters.HtmlFormatter (linenos=True, anchorlinenos=True)
        result = pygments.highlight (code, lexer, formatter)