Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

#

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Jump to bottom

Feature request: Biome list filter #822

Open
Boobies opened this issue Jul 18, 2020 · 2 comments · May be fixed by #823
Open

Feature request: Biome list filter #822

Boobies opened this issue Jul 18, 2020 · 2 comments · May be fixed by #823
Labels
feature

Comments

@Boobies
Copy link

Boobies commented Jul 18, 2020

The biome highlight list keeps growing bigger and bigger. It would be very nice to have a search bar that filters that list. So, for example, if I write "ocean" in a search bar, I should only see the ocean biomes in that list. Everytime I want to look at something, it takes a lot of time to go through the list and find the biomes I'm looking for to highlight.
@burgerindividual burgerindividual linked a pull request Jul 20, 2020 that will close this issue
Open
@burgerindividual
Copy link
Contributor

I just finished an implementation of this and made a PR (#823). Hopefully this is what you wanted.

@Boobies
Copy link
Author

Boobies commented Jul 20, 2020

It looks precisely like what I had in mind. Great job.

# for free to join this conversation on GitHub. Already have an account? # to comment
Assignees
No one assigned
Labels
feature
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Add search bar to biome widget burgerindividual/amidst-changes
3 participants
@Boobies @moulins @burgerindividual