Skip to content

Update xterm.js#197075

Merged
Tyriar merged 1 commit intomainfrom
tyriar/xterm_231031
Oct 31, 2023
Merged

Update xterm.js#197075
Tyriar merged 1 commit intomainfrom
tyriar/xterm_231031

Conversation

@Tyriar
Copy link
Copy Markdown
Contributor

@Tyriar Tyriar commented Oct 31, 2023

Fixes #151181

cc @tisilent

@Tyriar Tyriar added this to the November 2023 milestone Oct 31, 2023
@Tyriar Tyriar self-assigned this Oct 31, 2023
@Tyriar Tyriar enabled auto-merge October 31, 2023 14:40
@tisilent
Copy link
Copy Markdown
Contributor

Experience it.

@Tyriar Tyriar merged commit e6040ba into main Oct 31, 2023
@Tyriar Tyriar deleted the tyriar/xterm_231031 branch October 31, 2023 15:18
@tisilent
Copy link
Copy Markdown
Contributor

20231031_233356.mp4

🎉

@github-actions github-actions bot locked and limited conversation to collaborators Dec 15, 2023
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.

After running a case sensitive search, terminal find count is out of sync

3 participants