8000 Do not add pygments CSS if provided by user CSS by Spacetown · Pull Request #786 · gcovr/gcovr · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Do not add pygments CSS if provided by user CSS #786 < 8000 /h1>
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 3 commits into from
May 18, 2023

Conversation

Spacetown
Copy link
Member

If the user CSS given with --html-css contains the pygments CSS data (detected by string /* Comment.Preproc */) the pygments CSS is not added anymore.
Now the user can also define the styles used for the syntax highlighting in the user defined CSS.

Related #785

@Spacetown Spacetown added this to the Upcoming release milestone May 18, 2023
@codecov
Copy link
codecov bot commented May 18, 2023

Codecov Report

Patch coverage: 100.00% and no project coverage change.

Comparison is base (ddc6930) 95.54% compared to head (2b2110c) 95.55%.

Additional details and impacted files
@@           Coverage Diff           @@
##           master     #786   +/-   ##
=======================================
  Coverage   95.54%   95.55%           
=======================================
  Files          40       40           
  Lines        4021     4023    +2     
  Branches      786      787    +1     
=======================================
+ Hits         3842     3844    +2     
  Misses        101      101           
  Partials       78       78           
Impacted Files Coverage Δ
gcovr/formats/html/write.py 95.50% <100.00%> (+0.02%) ⬆️

☔ View full report in Codecov by Sentry.
📢 Do you have feedback about the report comment? Let us know in this issue.

Spacetown added 3 commits May 18, 2023 21:41
If the user stylesheet contains `/* Comment.Preproc */` the pygments CSS
is not added at the end.
@Spacetown Spacetown force-pushed the html_skip_pygments_style branch from f85c0ad to 2b2110c Compare May 18, 2023 19:42
@Spacetown Spacetown merged commit f158c98 into gcovr:master May 18, 2023
@Spacetown Spacetown deleted the html_skip_pygments_style branch May 18, 2023 20:03
@Spacetown Spacetown removed this from the Upcoming release milestone Jan 26, 2024
D-Walther pushed a commit to D-Walther/gcovr that referenced this pull request Jun 16, 2025
If the user stylesheet contains `/* Comment.Preproc */` the pygments CSS
is not added at the end.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant
0