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.

Sign up for GitHub

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

Jump to bottom

In the Explorer filetree, near the top, please include a filename filter box #121432

Closed
NickVH-MS opened this issue Apr 16, 2021 · 4 comments
Closed

In the Explorer filetree, near the top, please include a filename filter box #121432

NickVH-MS opened this issue Apr 16, 2021 · 4 comments
Assignees
@isidorn
Labels
*duplicate Issue identified as a duplicate of another issue(s)

Comments

@NickVH-MS
Copy link

In the Explorer UI, when looking at a filetree, near the top, please include a filename filter box. In a way, it'd be sort of a search box but limited in scope only to filenames (which are likely cached in memory anyway), so it should be ultra-snappy.
@gjsjohnmurray
Copy link
Contributor

Are you aware that you can already search / filter the Explorer tree by typing characters when focused on it?

@IllusionMH
Copy link
Contributor

I think it's duplicate of #70646

@isidorn isidorn added the *duplicate Issue identified as a duplicate of another issue(s) label Apr 16, 2021
@NickVH-MS
Copy link
Author

I see, I wasn't aware. I agree this is more or less a duplicate of #70646.

@github-actions github-actions bot locked and limited conversation to collaborators May 31, 2021
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees

@isidorn isidorn

Labels
*duplicate Issue identified as a duplicate of another issue(s)
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
5 participants
@IllusionMH @isidorn @gjsjohnmurray @NickVH-MS and others