Skip to content

agent_ui: Handle Cut for selection mentions - #54694

Merged
NeelChotai merged 3 commits into
mainfrom
cut-selection-mentions
May 7, 2026
Merged

agent_ui: Handle Cut for selection mentions #54694
NeelChotai merged 3 commits into
mainfrom
cut-selection-mentions

Conversation

@NeelChotai

Copy link
Copy Markdown
Member

Following on from #54031, implement the same but for Cut.

Release Notes:

  • N/A

@cla-bot cla-bot Bot added the cla-signed The user has signed the Contributor License Agreement label Apr 23, 2026
@zed-community-bot zed-community-bot Bot added the staff Pull requests authored by a current member of Zed staff label Apr 23, 2026
@NeelChotai NeelChotai self-assigned this Apr 23, 2026
@NeelChotai
NeelChotai marked this pull request as draft April 23, 2026 16:47
@NeelChotai
NeelChotai marked this pull request as ready for review April 24, 2026 11:58
@NeelChotai
NeelChotai force-pushed the cut-selection-mentions branch 2 times, most recently from ff36210 to 439e885 Compare April 24, 2026 12:46
@NeelChotai
NeelChotai added this pull request to the merge queue May 7, 2026
@github-merge-queue
github-merge-queue Bot removed this pull request from the merge queue due to a conflict with the base branch May 7, 2026
@NeelChotai
NeelChotai force-pushed the cut-selection-mentions branch from 439e885 to 28e3a46 Compare May 7, 2026 17:58
@NeelChotai
NeelChotai enabled auto-merge May 7, 2026 18:01
@NeelChotai
NeelChotai added this pull request to the merge queue May 7, 2026
Merged via the queue into main with commit 1b88528 May 7, 2026
31 checks passed
@NeelChotai
NeelChotai deleted the cut-selection-mentions branch May 7, 2026 18:10
@zed-zippy zed-zippy Bot added the PR state:needs review Used to label PRs that are in need of a post-merge approval label May 7, 2026
@kylekz kylekz mentioned this pull request May 8, 2026
3 tasks
@probably-neb

Copy link
Copy Markdown
Collaborator

@zed-industries/approved

@zed-zippy zed-zippy Bot removed the PR state:needs review Used to label PRs that are in need of a post-merge approval label May 8, 2026
jonx pushed a commit to jonx/zed-aros that referenced this pull request Jul 17, 2026
Following on from zed-industries#54031,
implement the same but for `Cut`.

Release Notes:

- N/A
jolutz pushed a commit to jolutz/zed that referenced this pull request Aug 8, 2026
Following on from zed-industries#54031,
implement the same but for `Cut`.

Release Notes:

- N/A
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

cla-signed The user has signed the Contributor License Agreement staff Pull requests authored by a current member of Zed staff

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants