Skip to content

Make terminal and chat messages copiable #1379

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
Feb 15, 2025

Conversation

devin-ai-integration[bot]
Copy link
Contributor

Make terminal and chat messages copiable

Added copy functionality to both the terminal and chat messages to improve user experience.

Changes

  • Added macOptionIsMeta to terminal for better copy support
  • Added copy button to assistant messages with hover state and visual feedback

Test Instructions

  1. Test terminal copy functionality:

    • Select text with mouse in the terminal
    • Right-click to select words
    • Verify copied text matches selection
  2. Test chat message copy:

    • Click copy button on assistant messages
    • Verify copy indicator appears (green checkmark)
    • Verify copied text matches message content
  3. Verify existing functionality still works:

    • Terminal input/output
    • Chat message display
    • User message copy

Link to Devin run: https://app.devin.ai/sessions/94ad7889b57241d3a5909d9708268f2f
Requested by: [email protected]

- Add macOptionIsMeta to terminal for better copy support
- Add copy button to assistant messages with hover state and visual feedback

Co-Authored-By: [email protected] <[email protected]>
Copy link
Contributor Author

🤖 Devin AI Engineer

I'll be helping with this pull request! Here's what you should know:

✅ I will automatically:

  • Address comments on this PR. Add "(aside)" to your comment to have me ignore it.
  • Look at CI failures and help fix them

Note: I can only respond to comments from users who have write access to this repository.

⚙️ Control Options:

  • Disable automatic comment and CI monitoring

@Kitenite Kitenite merged commit 2990062 into main Feb 15, 2025
@Kitenite Kitenite deleted the devin/1739574762-make-text-copiable branch February 15, 2025 05:39
ml-delaurier pushed a commit to ml-delaurier/nolook that referenced this pull request Apr 23, 2025
* Make p tags selectable
* Make terminal copyable 

---------

Co-authored-by: Devin AI <158243242+devin-ai-integration[bot]@users.noreply.github.com>
Co-authored-by: [email protected] <[email protected]>
Co-authored-by: Kiet Ho <[email protected]>
t1c1 pushed a commit to t1c1/onlookbotcodes that referenced this pull request Jun 5, 2025
* Make p tags selectable
* Make terminal copyable 

---------

Co-authored-by: Devin AI <158243242+devin-ai-integration[bot]@users.noreply.github.com>
Co-authored-by: [email protected] <[email protected]>
Co-authored-by: Kiet Ho <[email protected]>
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.

1 participant