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

Search Bar in Checklist Filters #58

Open
BlayTheNinth opened this issue Sep 30, 2018 · 0 comments
Open

Search Bar in Checklist Filters #58

BlayTheNinth opened this issue Sep 30, 2018 · 0 comments
Labels
enhancement New features or improvements to existing features help wanted Pull Requests for this issue are encouraged

Comments

@BlayTheNinth
Copy link
Member

BlayTheNinth commented Sep 30, 2018 •
edited
Loading

Especially the mod and creative checklists can get quite large with many mods, so you should be able to search in them through some textbox. Searching should probably just filter out all non-matching entries and hide them.
@BlayTheNinth BlayTheNinth self-assigned this Sep 30, 2018
@BlayTheNinth BlayTheNinth added the help wanted Pull Requests for this issue are encouraged label Oct 9, 2019
@BlayTheNinth BlayTheNinth removed their assignment Oct 9, 2019
@BlayTheNinth BlayTheNinth moved this to 🍽️ Ready for Development in Issues Sep 25, 2022
@BlayTheNinth BlayTheNinth added enhancement New features or improvements to existing features and removed feature labels Dec 6, 2023
@BlayTheNinth BlayTheNinth moved this from 🎯 Ready for Development to 📧 On Hold in Issues Jun 2, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
enhancement New features or improvements to existing features help wanted Pull Requests for this issue are encouraged
Projects
Issues
Status: 📧 On Hold
Milestone
No milestone
Development

No branches or pull requests
1 participant
@BlayTheNinth