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

Add search/filtering for pipeline id or plot name #19

Open
veprbl opened this issue Nov 5, 2024 · 3 comments
Open

Add search/filtering for pipeline id or plot name #19

veprbl opened this issue Nov 5, 2024 · 3 comments

Comments

@veprbl
Copy link
Member

veprbl commented Nov 5, 2024

Is your feature request related to a problem? Please describe.
This was requested by @steinber. It makes sense to have a search functionality.

Describe the solution you'd like
Search field above the list could be added.

@torrijeske
Copy link
Collaborator

do you want the search bar in the dropdown (imagine like you start typing in 106 and the bar can auto-populate available options) or just a general search bar?

@veprbl
Copy link
Member Author

veprbl commented Nov 10, 2024

Not a dropdown, as we'd like to select multiple options. Just a search field. It would probably either scroll to the first matching item or reduce the list to a matching subset (is it possible to preserve selections of unmatched items in that case?).

@veprbl
Copy link
Member Author

veprbl commented Nov 10, 2024

Alphabetic sorting pretty much resolved that issue for me. We can consider this to now be low-priority, I suppose.

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