Skip to content

Terminal: Find widget has an empty space #178135

@aeschli

Description

@aeschli

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

image

I suggest to make the find widget consistent with the one from the editor

  • show No Results to avoid the gap
  • make it a but larger so the ghost text is readable
  • make it resizable

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

Projects

No projects

Milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions