aves/lib/model/settings.dart

import 'dart:ui';

import 'package:aves/model/image_collection.dart';
import 'package:flutter/foundation.dart';
import 'package:flutter/widgets.dart';
import 'package:shared_preferences/shared_preferences.dart';

final Settings settings = Settings._private();

typedef void SettingsCallback(String key, dynamic oldValue, dynamic newValue);

class Settings {
  static SharedPreferences prefs;

  ObserverList<SettingsCallback> _listeners = ObserverList<SettingsCallback>();

  Settings._private();

  // preferences
  static const collectionGroupFactorKey = 'collection_group_factor';
  static const collectionSortFactorKey = 'collection_sort_factor';
  static const infoMapZoomKey = 'info_map_zoom';
  static const catalogTimeZoneKey = 'catalog_time_zone';

  // state
  static const windowMetricsKey = 'window_metrics';

  Future<void> init() async {
    prefs = await SharedPreferences.getInstance();
    // TODO TLAD try this as an alternative to MediaQuery, in order to rebuild only on specific property change
//    window.onMetricsChanged = onMetricsChanged;
  }

  WindowMetrics _metrics;

  void onMetricsChanged() {
    final newValue = WindowMetrics(
      devicePixelRatio: window.devicePixelRatio,
      physicalSize: window.physicalSize,
      viewInsets: window.viewInsets,
      viewPadding: window.viewPadding,
      systemGestureInsets: window.systemGestureInsets,
      padding: window.padding,
    );
    notifyListeners(windowMetricsKey, _metrics, newValue);
    _metrics = newValue;
  }

  void addListener(SettingsCallback listener) => _listeners.add(listener);

  void removeListener(SettingsCallback listener) => _listeners.remove(listener);

  void notifyListeners(String key, dynamic oldValue, dynamic newValue) {
    debugPrint('$runtimeType notifyListeners key=$key, old=$oldValue, new=$newValue');
    if (_listeners != null) {
      final List<SettingsCallback> localListeners = _listeners.toList();
      for (SettingsCallback listener in localListeners) {
        try {
          if (_listeners.contains(listener)) {
            listener(key, oldValue, newValue);
          }
        } catch (exception, stack) {
          debugPrint('$runtimeType failed to notify listeners with exception=$exception\n$stack');
        }
      }
    }
  }

  double get infoMapZoom => prefs.getDouble(infoMapZoomKey) ?? 12;

  set infoMapZoom(double newValue) => setAndNotify(infoMapZoomKey, newValue);

  String get catalogTimeZone => prefs.getString(catalogTimeZoneKey) ?? '';

  set catalogTimeZone(String newValue) => setAndNotify(catalogTimeZoneKey, newValue);

  GroupFactor get collectionGroupFactor => getEnumOrDefault(collectionGroupFactorKey, GroupFactor.month, GroupFactor.values);

  set collectionGroupFactor(GroupFactor newValue) => setAndNotify(collectionGroupFactorKey, newValue.toString());

  SortFactor get collectionSortFactor => getEnumOrDefault(collectionSortFactorKey, SortFactor.date, SortFactor.values);

  set collectionSortFactor(SortFactor newValue) => setAndNotify(collectionSortFactorKey, newValue.toString());

  // convenience methods

  bool getBoolOrDefault(String key, bool defaultValue) => prefs.getKeys().contains(key) ? prefs.getBool(key) : defaultValue;

  T getEnumOrDefault<T>(String key, T defaultValue, Iterable<T> values) {
    final valueString = prefs.getString(key);
    for (T element in values) {
      if (element.toString() == valueString) {
        return element;
      }
    }
    return defaultValue;
  }

  void setAndNotify(String key, dynamic newValue) {
    var oldValue = prefs.get(key);
    if (newValue == null) {
      prefs.remove(key);
    } else if (newValue is String) {
      oldValue = prefs.getString(key);
      prefs.setString(key, newValue);
    } else if (newValue is int) {
      oldValue = prefs.getInt(key);
      prefs.setInt(key, newValue);
    } else if (newValue is double) {
      oldValue = prefs.getDouble(key);
      prefs.setDouble(key, newValue);
    } else if (newValue is bool) {
      oldValue = prefs.getBool(key);
      prefs.setBool(key, newValue);
    }
    if (oldValue != newValue) {
      notifyListeners(key, oldValue, newValue);
    }
  }
}

class WindowMetrics {
  final double devicePixelRatio;
  final Size physicalSize;
  final WindowPadding viewInsets;
  final WindowPadding viewPadding;
  final WindowPadding systemGestureInsets;
  final WindowPadding padding;

  const WindowMetrics({
    this.devicePixelRatio,
    this.physicalSize,
    this.viewInsets,
    this.viewPadding,
    this.systemGestureInsets,
    this.padding,
  });
}