mirrors/revanced-manager
1
0
Fork 0
mirror of https://github.com/ReVanced/revanced-manager.git synced 2025-05-11 13:05:37 +02:00
Code Issues Projects Releases Packages Wiki Activity Actions

feat(settings - appearance): add system option (#1279)

Browse source 
Closes #1260
This commit is contained in:
Benjamin 2023-09-20 17:25:23 -07:00 • committed by GitHub
parent e75d3c8273
commit 6260a80738
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
5 changed files with 165 additions and 49 deletions
Download patch file Download diff file Expand all files Collapse all files

8
lib/services/manager_api.dart
View file

@ -199,12 +199,12 @@ class ManagerAPI {
await _prefs.setBool('useDynamicTheme', value);
}
bool getUseDarkTheme() {
return _prefs.getBool('useDarkTheme') ?? false;
int getThemeMode() {
return _prefs.getInt('themeMode') ?? 2;
}
Future<void> setUseDarkTheme(bool value) async {
await _prefs.setBool('useDarkTheme', value);
Future<void> setThemeMode(int value) async {
await _prefs.setInt('themeMode', value);
}
bool areUniversalPatchesEnabled() {