From 03328cedc35d2d59f3560a35f61add9eb0954f9f Mon Sep 17 00:00:00 2001 From: Georg Brandl Date: Tue, 26 Nov 2019 06:36:56 +0100 Subject: [PATCH] html formatter: lineseparator needs to be unicode Fixes #1053 --- pygments/formatters/html.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pygments/formatters/html.py b/pygments/formatters/html.py index d65c09cedd..042f04cfb1 100644 --- a/pygments/formatters/html.py +++ b/pygments/formatters/html.py @@ -435,7 +435,7 @@ def __init__(self, **options): self.linenostep = abs(get_int_opt(options, 'linenostep', 1)) self.linenospecial = abs(get_int_opt(options, 'linenospecial', 0)) self.nobackground = get_bool_opt(options, 'nobackground', False) - self.lineseparator = options.get('lineseparator', '\n') + self.lineseparator = options.get('lineseparator', u'\n') self.lineanchors = options.get('lineanchors', '') self.linespans = options.get('linespans', '') self.anchorlinenos = options.get('anchorlinenos', False)