support for external download managers

This commit is contained in:
Fabian Freund
2026-02-04 07:46:50 +01:00
parent c8179c585e
commit 28907a62a7
15 changed files with 584 additions and 2 deletions
@@ -99,6 +99,23 @@ class EngineSettingsReplicationService
},
);
ref.listen(
fireImmediately: true,
generalSettingsWithDefaultsProvider.select(
(settings) => settings.useExternalDownloadManager,
),
(previous, next) async {
await _service.setUseExternalDownloadManager(next);
},
onError: (error, stackTrace) {
logger.e(
'Error listening to useExternalDownloadManager',
error: error,
stackTrace: stackTrace,
);
},
);
ref.listen(
fireImmediately: true,
engineSettingsRepositoryProvider,
@@ -44,7 +44,7 @@ final class EngineSettingsReplicationServiceProvider
}
String _$engineSettingsReplicationServiceHash() =>
r'3e06f0c273090f9f9dfc42f2140d60ef9557f176';
r'7a4db374b521e592847a85cb8d2aa184be788ee4';
abstract class _$EngineSettingsReplicationService extends $Notifier<void> {
void build();