Skip to content

Copy button#271

Merged
encounter merged 11 commits into
encounter:mainfrom
boludoz:copy
Nov 19, 2025
Merged

Copy button#271
encounter merged 11 commits into
encounter:mainfrom
boludoz:copy

Conversation

@boludoz

@boludoz boludoz commented Oct 9, 2025

Copy link
Copy Markdown
Contributor

No description provided.

@boludoz boludoz changed the title Update diff.rs Copy button Oct 9, 2025
@encounter

Copy link
Copy Markdown
Owner

Thanks for the PR! Try cargo +nightly fmt to fix the formatting. Could you post a screenshot as well?

@ifarbod

ifarbod commented Oct 17, 2025

Copy link
Copy Markdown
Contributor

I saw what it looks like, can you please change the button's label to include this emoji -> 📋

"📋 Copy asm"

@boludoz

boludoz commented Oct 18, 2025

Copy link
Copy Markdown
Contributor Author

I saw what it looks like, can you please change the button's label to include this emoji -> 📋

"📋 Copy asm"

Done Sir 🫡

@ifarbod

ifarbod commented Oct 21, 2025

Copy link
Copy Markdown
Contributor

I think it looks good with the clipboard next to it

image

@encounter

Copy link
Copy Markdown
Owner

Thank you!

@encounter encounter merged commit b2dcecc into encounter:main Nov 19, 2025
24 checks passed
@boludoz

boludoz commented Nov 19, 2025

Copy link
Copy Markdown
Contributor Author

Thank you!

Thanks to you, we can improve a little in the near future.

@encounter encounter mentioned this pull request Nov 27, 2025
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.

3 participants