Tue Aug 12 09:50:07 UTC 2008 Alexandre Rossi * fix pygments disaligned linenos and code when using windows fonts (pygments>0.7 only) diff -rN -u old-darcsweb/darcsweb.cgi new-darcsweb/darcsweb.cgi --- old-darcsweb/darcsweb.cgi 2016-02-17 05:43:44.000000000 +0000 +++ new-darcsweb/darcsweb.cgi 2016-02-17 05:43:44.000000000 +0000 @@ -1324,8 +1324,15 @@ else: lexer = pygments.lexers.guess_lexer_for_filename(fname, code[:200], encoding=config.repoencoding[0]) - formatter = pygments.formatters.HtmlFormatter(linenos=True, + + pygments_version = map(int, pygments.__version__.split('.')) + if pygments_version >= [0, 7]: + linenos_method = 'inline' + else: + linenos_method = True + formatter = pygments.formatters.HtmlFormatter(linenos=linenos_method, cssclass='page_body') + print pygments.highlight(code, lexer, formatter) def print_annotate(ann, style):