Skip to content

Missing terminal find widget shorcuts in tooltip #187786

Closed
#187787
Closed
Missing terminal find widget shorcuts in tooltip#187786
#187787
Assignees
meganrogge
Labels
bugIssue identified by VS Code Team member as probable buginsiders-releasedPatch has been released in VS Code Insidersterminal-findRelating the terminal's find widgetverifiedVerification succeeded
Milestone
July 2023
@jeanp413

Description

@jeanp413
jeanp413
opened on Jul 13, 2023

Terminal:

image

Editor:
image

Metadata

Metadata

Assignees

Labels

bugIssue identified by VS Code Team member as probable buginsiders-releasedPatch has been released in VS Code Insidersterminal-findRelating the terminal's find widgetverifiedVerification succeeded

Type

No type

Fields

No fields configured for issues without a type.

Projects

No projects

Milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions