diff options
author | Matthäus G. Chajdas <dev@anteru.net> | 2020-07-31 12:16:36 +0200 |
---|---|---|
committer | Matthäus G. Chajdas <dev@anteru.net> | 2020-07-31 12:20:04 +0200 |
commit | b6fb70f88a4bf270a36515e958fdf124a70543ad (patch) | |
tree | fcf044fef7f4c5f3c019bc9ffe5d85a922a158c2 /scripts/pylintrc | |
parent | eaab40379c0c55e5549f67097701abb99123a6e0 (diff) | |
download | pygments-git-improve-linenos-handling.tar.gz |
Improve HTML formatter output.improve-linenos-handling
With the previous changes, we started to emit one <pre> per line for
line numbers. This breaks for instance the Sphinx-RTD-Theme, which
expects the line numbers to be formatted the same way as the normal
content. This commit makes the following changes:
* Emit a single <pre> inside the linenos div
* Wrap individual lines into <span> as needed
* Update all tests
* Don't yield empty <span> elements when no style is specified
This also makes the .html test files look correct when looked at with a
browser, as there is no extra whitespace in them which needs stripping.
Diffstat (limited to 'scripts/pylintrc')
0 files changed, 0 insertions, 0 deletions