make refresh rate selectable

This commit is contained in:
Fabian Freund
2026-06-10 09:22:58 +02:00
parent 73ac6fd400
commit 912c15e063
10 changed files with 281 additions and 4 deletions
@@ -56,6 +56,10 @@ class GeneralSettingsRepository extends _$GeneralSettingsRepository {
DriftSqlType.bool,
db.typeMapping,
),
'refreshRateMode': settings['refreshRateMode']?.readAs(
DriftSqlType.string,
db.typeMapping,
),
'showModalBarrier': settings['showModalBarrier']?.readAs(
DriftSqlType.bool,
db.typeMapping,
@@ -35,7 +35,7 @@ final class GeneralSettingsRepositoryProvider
}
String _$generalSettingsRepositoryHash() =>
r'0f3991899956a779f18615fa7c8c172d9086af1c';
r'eb369cd699e336cd5ca51709f116883ae8c6dbc4';
abstract class _$GeneralSettingsRepository
extends $StreamNotifier<GeneralSettings> {