- Should disabling the filter trigger a full or partial refresh?
- Should "Refresh all" only refresh favorites when the filter is on?
The easy solution is to just let the user press Ctrl+A and Ctrl+R to refresh whatever servers are included in the current filtering. This will still work if you have other filters enabled, as long as you press Ctrl+A before enabling the other filters.
The easy solution is to just let the user press Ctrl+A and Ctrl+R to refresh whatever servers are included in the current filtering. This will still work if you have other filters enabled, as long as you press Ctrl+A before enabling the other filters.