Skip to content

Update to recent xterm.js#263038

Merged
anthonykim1 merged 1 commit intomainfrom
anthonykim1/updateXterm
Aug 23, 2025
Merged

Update to recent xterm.js#263038
anthonykim1 merged 1 commit intomainfrom
anthonykim1/updateXterm

Conversation

@anthonykim1
Copy link
Copy Markdown
Contributor

This is so we get updated for xtermjs/xterm.js#5385

@anthonykim1 anthonykim1 marked this pull request as ready for review August 23, 2025 08:25
@anthonykim1 anthonykim1 enabled auto-merge (squash) August 23, 2025 08:25
@anthonykim1 anthonykim1 self-assigned this Aug 23, 2025
@anthonykim1 anthonykim1 added this to the August 2025 milestone Aug 23, 2025
@anthonykim1 anthonykim1 merged commit 11c3c24 into main Aug 23, 2025
18 checks passed
@anthonykim1 anthonykim1 deleted the anthonykim1/updateXterm branch August 23, 2025 14:53
@vs-code-engineering vs-code-engineering bot locked and limited conversation to collaborators Oct 7, 2025
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants