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.

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

add find widget to terminal editors #126525

Closed
meganrogge opened this issue Jun 16, 2021 · 0 comments · Fixed by #127100
Closed

add find widget to terminal editors #126525

meganrogge opened this issue Jun 16, 2021 · 0 comments · Fixed by #127100
Assignees
Labels
insiders-released Patch has been released in VS Code Insiders plan-item VS Code - planned item for upcoming terminal General terminal issues that don't fall under another label terminal-editors
Milestone

Comments

@meganrogge
Copy link
Contributor

No description provided.

@meganrogge meganrogge added terminal General terminal issues that don't fall under another label terminal-editors labels Jun 16, 2021
@meganrogge meganrogge added this to the June 2021 milestone Jun 16, 2021
@meganrogge meganrogge changed the title terminal find widget is missing from terminal editors add find widget to terminal editors Jun 16, 2021
@meganrogge meganrogge added the plan-item VS Code - planned item for upcoming label Jun 16, 2021
@github-actions github-actions bot locked and limited conversation to collaborators Aug 8, 2021
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
insiders-released Patch has been released in VS Code Insiders plan-item VS Code - planned item for upcoming terminal General terminal issues that don't fall under another label terminal-editors
Projects
None yet
Development

Successfully merging a pull request may close this issue.

3 participants
@Tyriar @meganrogge and others