A ChangeNotifier that listens to multiple Listenables.

refresh_notifier.dart

/// A [ChangeNotifier] that listens to multiple [Listenable]s.
class RefreshNotifier extends ChangeNotifier {
  RefreshNotifier(this._listenables) {
    for (final listenable in _listenables) {
      listenable.addListener(notifyListeners);
    }
  }
  
  final List<Listenable> _listenables;
  
  @override
  void dispose() {
    for (final listenable in _listenables) {
      listenable.removeListener(notifyListeners);
      if (listenable is ChangeNotifier) listenable.dispose();
    }
    super.dispose();
  }
}