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

Terminal find: give some feedback when there are no results #33880

Closed
isidorn opened this issue Sep 6, 2017 · 1 comment
Closed

Terminal find: give some feedback when there are no results #33880

isidorn opened this issue Sep 6, 2017 · 1 comment
Assignees
Labels
*duplicate Issue identified as a duplicate of another issue(s) feature-request Request for new features or functionality terminal Integrated terminal issues

Comments

@isidorn
Copy link
Contributor

isidorn commented Sep 6, 2017

  1. Terminal, find widget
  2. Search for something which has no results
  3. The find widget does not give any feedback to the user. Notice how the editor find widget says no results in red. I understand we are trying to save space in the terminal find widget but we could still do a red border in the input field
@isidorn isidorn added feature-request Request for new features or functionality terminal Integrated terminal issues labels Sep 6, 2017
@Tyriar
Copy link
Member

Tyriar commented Sep 11, 2017

Duplicate #28768

@Tyriar Tyriar closed this as completed Sep 11, 2017
@Tyriar Tyriar added the *duplicate Issue identified as a duplicate of another issue(s) label Sep 11, 2017
@vscodebot vscodebot bot locked and limited conversation to collaborators Nov 17, 2017
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
*duplicate Issue identified as a duplicate of another issue(s) feature-request Request for new features or functionality terminal Integrated terminal issues
Projects
None yet
Development

No branches or pull requests

3 participants