Skip to content

Text in headers of agent panel command blocks cannot be selected #30411

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

Closed
reidab opened this issue May 9, 2025 · 0 comments · Fixed by #30430
Closed

Text in headers of agent panel command blocks cannot be selected #30411

reidab opened this issue May 9, 2025 · 0 comments · Fixed by #30430
Assignees

Comments

@reidab
Copy link

reidab commented May 9, 2025

Summary

When using the agent panel, text in the header of a command block cannot be selected. I'd like to copy this text to manually re-run this command.

Image

Description

Steps to reproduce:

  1. Use agent to perform a task that involves executing a local command
  2. Try to copy the command that was executed

Expected Behavior: text is selectable
Actual Behavior: text is not selectable

Zed Version and System Specs

Zed: v0.185.14 (Zed)
OS: macOS 15.4.1
Memory: 64 GiB
Architecture: aarch64

@danilo-leal danilo-leal self-assigned this May 9, 2025
JosephTLyons pushed a commit that referenced this issue May 10, 2025
…30430)

Closes #30411

Rendering as markdown gives us text selection and copying for free. In
the future, we may want to explore having these commands be actual
editors, allowing you to step in, change the command, and re-run it
right from there.

Release Notes:

- agent: Made the terminal command in the tool card selectable and
copyable.
JosephTLyons pushed a commit that referenced this issue May 10, 2025
…30430)

Closes #30411

Rendering as markdown gives us text selection and copying for free. In
the future, we may want to explore having these commands be actual
editors, allowing you to step in, change the command, and re-run it
right from there.

Release Notes:

- agent: Made the terminal command in the tool card selectable and
copyable.
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 a pull request may close this issue.

2 participants