add find widget to terminal editors #126525

New issue

Copy link

New issue

Copy link

Closed

#127100

Closed

add find widget to terminal editors#126525

#127100

Copy link

Assignees

Labels

insiders-releasedPatch has been released in VS Code InsidersPatch has been released in VS Code Insidersplan-itemVS Code - planned item for upcomingVS Code - planned item for upcomingterminalGeneral terminal issues that don't fall under another labelGeneral terminal issues that don't fall under another labelterminal-editors

Milestone

June 2021

Description

meganrogge

opened on Jun 16, 2021

Issue body actions

No description provided.

Metadata

Metadata

Assignees

• 
  Tyriar
• 
  meganrogge

Labels

insiders-releasedPatch has been released in VS Code InsidersPatch has been released in VS Code Insidersplan-itemVS Code - planned item for upcomingVS Code - planned item for upcomingterminalGeneral terminal issues that don't fall under another labelGeneral terminal issues that don't fall under another labelterminal-editors

Type

No type

Projects

No projects

Milestone

• June 2021

Relationships

None yet

Development

No branches or pull requests

Issue actions