Skip to content

Negotiate terminal output metadata mode - #187

Merged
benbrandt merged 1 commit into
mainfrom
terminal-output
Jun 15, 2026
Merged

Negotiate terminal output metadata mode#187
benbrandt merged 1 commit into
mainfrom
terminal-output

Conversation

@benbrandt

Copy link
Copy Markdown
Member

Support both _meta types.

Closes #166

@AlexandrSuhinin
AlexandrSuhinin self-requested a review June 15, 2026 13:31
Support both _meta types.

Closes #166
@benbrandt
benbrandt merged commit eda7d6f into main Jun 15, 2026
4 checks passed
@benbrandt
benbrandt deleted the terminal-output branch June 15, 2026 14:56
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.

Terminal handling differs from zed

2 participants