-
Notifications
You must be signed in to change notification settings - Fork 38.4k
Closed
Labels
bugIssue identified by VS Code Team member as probable bugIssue identified by VS Code Team member as probable buginsiders-releasedPatch has been released in VS Code InsidersPatch has been released in VS Code Insidersterminal-findRelating the terminal's find widgetRelating the terminal's find widgetverifiedVerification succeededVerification succeeded
Milestone
Description
Version: 1.77.0-insider (user setup)
Commit: a5bd844
Date: 2023-03-22T10:38:48.144Z
Electron: 19.1.11
Chromium: 102.0.5005.196
Node.js: 16.14.2
V8: 10.2.154.26-electron.0
OS: Windows_NT x64 10.0.22624
Sandboxed: Yes
- open a terminal, press Ctrl + F
- there's a gap behind the text field. It looks like it's a UI bug
I suggest to make the find widget consistent with the one from the editor
- show
No Resultsto avoid the gap - make it a but larger so the ghost text is readable
- make it resizable
Reactions are currently unavailable
Metadata
Metadata
Assignees
Labels
bugIssue identified by VS Code Team member as probable bugIssue identified by VS Code Team member as probable buginsiders-releasedPatch has been released in VS Code InsidersPatch has been released in VS Code Insidersterminal-findRelating the terminal's find widgetRelating the terminal's find widgetverifiedVerification succeededVerification succeeded
