Skip to content

Conversation

cscheid
Copy link
Collaborator

@cscheid cscheid commented May 20, 2025

Closes #5538 (thanks, @gadenbuie and Jordan!).

We still would like to change the DOM so that the button is inside the surrounding div and not the pre element, but that goes in a separate PR.

@posit-snyk-bot
Copy link
Collaborator

posit-snyk-bot commented May 20, 2025

🎉 Snyk checks have passed. No issues have been found so far.

security/snyk check is complete. No issues have been found. (View Details)

license/snyk check is complete. No issues have been found. (View Details)

@cscheid cscheid merged commit b3e7925 into main May 20, 2025
5 of 7 checks passed
@cscheid cscheid deleted the bugfix/5538 branch May 20, 2025 18:50
@cscheid cscheid mentioned this pull request Aug 28, 2025
3 tasks
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

html output: the copy code button scrolls with the code (quarto

2 participants