Rafraîchissement automatique de la page Enregistrements

- Nouveau bus de notification (recordingsRefreshBus) : la liste se recharge
  immédiatement dès qu'un enregistrement est créé, planifié ou arrêté depuis
  n'importe où dans l'app (guide EPG, modal, widget rapide)
- Polling en arrière-plan : 5 s quand un enregistrement est en cours ou
  planifié, 20 s sinon, pour suivre les changements de statut sans clic
- Rafraîchissement silencieux (pas de spinner ni de vidage de liste) pour
  éviter le clignotement ; les erreurs transitoires ne remplacent pas la liste
- Indicateur « Suivi auto » avec l'heure de dernière actualisation

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_015oEu9QayWsw7hCKhenxgVa
This commit is contained in:
Claude committed 2026-08-27 11:15:48 +00:00
1 parent f798b43a1e
commit 488e354bf0
5 files changed
+103 -11

No files matched your search

@@ -0,0 +1,14 @@
import 'package:flutter/foundation.dart';
/// Bus de notification global pour la liste des enregistrements.
///
/// L'onglet Enregistrements vit dans un IndexedStack : il n'est construit
/// qu'une seule fois au lancement. Tout code qui crée/modifie un
/// enregistrement (modal d'enregistrement, guide EPG, ...) appelle
/// [notifyRecordingsChanged] pour que la liste se recharge immédiatement,
/// sans attendre le prochain cycle de polling.
final ValueNotifier<int> recordingsRefreshBus = ValueNotifier<int>(0);
void notifyRecordingsChanged() {
recordingsRefreshBus.value++;
}