luckyimnotanigger/adguard-home-manager
1
0
Fork 0
mirror of https://github.com/JGeek00/adguard-home-manager.git synced 2025-05-05 04:40:37 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

New tab list filters

Browse source
This commit is contained in:
Juan Gilsanz Polo 2023-04-06 18:27:57 +02:00
parent 1508c49536
commit b599debb3c
8 changed files with 376 additions and 402 deletions
Download patch file Download diff file Expand all files Collapse all files

4
lib/providers/servers_provider.dart
View file

@ -32,7 +32,7 @@ class ServersProvider with ChangeNotifier {
);
final Filtering _filtering = Filtering(
loadStatus: 0, // 0 = loading, 1 = loaded, 2 = error
loadStatus: LoadStatus.loading,
data: null
);
@ -153,7 +153,7 @@ class ServersProvider with ChangeNotifier {
notifyListeners();
}
void setFilteringLoadStatus(int loadStatus, bool notify) {
void setFilteringLoadStatus(LoadStatus loadStatus, bool notify) {
_filtering.loadStatus = loadStatus;
if (notify == true) {
notifyListeners();