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

Prioritized refresh based on filter #37

Open

2 tasks

metalglove opened this issue Aug 24, 2024 · 0 comments

Milestone

Collaborator

metalglove commented Aug 24, 2024

Prioritize the refreshing of the server browser based on the filter applied

Apply filter on fetching of new servers
When filter changes request the updates for the servers which are now also available in the filter.

metalglove added this to the v2.2.0 milestone

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment