Skip to content
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

Fix: Show copy buttons in code blocks (#1198) #1208

Merged
merged 1 commit into from
Oct 11, 2020
Merged

Fix: Show copy buttons in code blocks (#1198) #1208

merged 1 commit into from
Oct 11, 2020

Conversation

deining
Copy link
Contributor

@deining deining commented Oct 11, 2020

After updating to latest asciidoctor gradle plugin (#1202), copy buttons in code blocks were not displayed any more.
This is corrected with this PR.

@codecov-io
Copy link

codecov-io commented Oct 11, 2020

Codecov Report

Merging #1208 into master will decrease coverage by 0.01%.
The diff coverage is n/a.

Impacted file tree graph

@@             Coverage Diff              @@
##             master    #1208      +/-   ##
============================================
- Coverage     94.32%   94.30%   -0.02%     
  Complexity      455      455              
============================================
  Files             2        2              
  Lines          6663     6676      +13     
  Branches       1793     1795       +2     
============================================
+ Hits           6285     6296      +11     
- Misses          101      102       +1     
- Partials        277      278       +1     
Impacted Files Coverage Δ Complexity Δ
src/main/java/picocli/CommandLine.java 94.14% <0.00%> (-0.02%) 314.00% <0.00%> (ø%)

Continue to review full report at Codecov.

Legend - Click here to learn more
Δ = absolute <relative> (impact), ø = not affected, ? = missing data
Powered by Codecov. Last update 76de3fc...0f6d062. Read the comment docs.

@remkop remkop added this to the 4.6 milestone Oct 11, 2020
@remkop remkop merged commit 1afdfde into remkop:master Oct 11, 2020
remkop added a commit that referenced this pull request Oct 11, 2020
@remkop
Copy link
Owner

remkop commented Oct 11, 2020

Merged and published the rendered HTML.
Thank you for the contribution!

@deining deining deleted the fix-copy-buttons branch October 11, 2020 18:30
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.

None yet

3 participants