Skip to content

clear search decorations for all terminals in the visible group when find widget is hidden#146199

Merged
meganrogge merged 2 commits intomainfrom
merogge/findHide
Mar 28, 2022
Merged

clear search decorations for all terminals in the visible group when find widget is hidden#146199
meganrogge merged 2 commits intomainfrom
merogge/findHide

Conversation

@meganrogge
Copy link
Copy Markdown
Collaborator

This PR fixes #145866

@meganrogge meganrogge self-assigned this Mar 28, 2022
@meganrogge meganrogge added this to the April 2022 milestone Mar 28, 2022
@meganrogge meganrogge requested a review from Tyriar March 28, 2022 17:06
@meganrogge meganrogge merged commit e002259 into main Mar 28, 2022
@meganrogge meganrogge deleted the merogge/findHide branch March 28, 2022 17:21
@github-actions github-actions bot locked and limited conversation to collaborators May 12, 2022
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.

Highlights are shown even if find widget is closed

2 participants