Skip to content
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.

Sign up for GitHub

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

Jump to bottom

Closing the find widget should clear search decorations map in xterm.js #146263

Closed
meganrogge opened this issue Mar 29, 2022 · 1 comment
Closed

Closing the find widget should clear search decorations map in xterm.js #146263

meganrogge opened this issue Mar 29, 2022 · 1 comment
Assignees
@Tyriar @meganrogge
Labels
polish Cleanup and polish issue terminal-find Relating the terminal's find widget
Milestone
April 2022

Comments

@meganrogge
Copy link
Contributor

No description provided.

@meganrogge meganrogge added polish Cleanup and polish issue terminal-find Relating the terminal's find widget labels Mar 29, 2022
@meganrogge meganrogge added this to the April 2022 milestone Mar 29, 2022
@meganrogge meganrogge mentioned this issue Mar 29, 2022
Merged
@meganrogge
Copy link
Contributor Author

This is already happening

@github-actions github-actions bot locked and limited conversation to collaborators May 13, 2022
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees

@Tyriar Tyriar

@meganrogge meganrogge

Labels
polish Cleanup and polish issue terminal-find Relating the terminal's find widget
Projects
None yet
Milestone
April 2022
Development

No branches or pull requests
2 participants
@Tyriar @meganrogge