Merge branch 'main' into re7gog

This commit is contained in:
Григорий Величко
2023-12-24 18:37:11 +03:00
committed by GitHub
28 changed files with 152 additions and 62 deletions

View File

@@ -437,4 +437,13 @@ class SettingsProvider with ChangeNotifier {
prefs?.setBool('exportSettings', val);
notifyListeners();
}
bool get parallelDownloads {
return prefs?.getBool('parallelDownloads') ?? false;
}
set parallelDownloads(bool val) {
prefs?.setBool('parallelDownloads', val);
notifyListeners();
}
}