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

[Feature]: "Fold" buttons in search #843

Open
svew opened this issue Dec 16, 2024 · 1 comment
Open

[Feature]: "Fold" buttons in search #843

svew opened this issue Dec 16, 2024 · 1 comment

Comments

@svew
Copy link

svew commented Dec 16, 2024

My feature request is to add a "Fold" (and optionally "Unfold") button in the search pane, probably in one of these spots:

image

The motivation behind this is that sometimes you're familiar enough with your build that a large amount of the search results are noise, and you want to quickly navigate to the projects/targets you know are most relevant to your query. With large project heirarchies and many results, this can mean scrolling through thousands of search results trying to find something most relevant to you.

We do have helpful search terms to help narrow your search, but sometimes you're unsure of the exact target/project you want to navigate to.

This would also help performance, when one searches for a term that gets thousands or tens of thousands of hits, you can fold away all of these hits and focus on the one, few dozen, or few hundred relevant to your query.

Functionality

When you open up the "Search Log" pane, and search for some term, you'll get some result like this (and if you have more than your configured max, it will hide some of the results)

image

Ideally, if you hit the "Fold" button once, it would fold the children of the project nodes in the search pane, and you'll see a more condensed version of your search:

image

Hit "Fold" again, and it will fold the project nodes as well

image

And then finally, one could click "Unfold" to unfold every child and bring the use back to the first image

@KirillOsenkov
Copy link
Owner

This is actually a good idea

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants