switch from timestamps to event sequence for events

2026-02-10 16:20:35 +01:00
parent e0cce93ffb
commit 592c6afdc5
30 changed files with 840 additions and 254 deletions
@@ -29,8 +29,8 @@ class IntentReceiver extends IntentEvents {
  Stream<Intent> get events => _controller.stream;

  @override
-  void onIntentReceived(int timestamp, Intent intent) {
-    if (_lastAdded == null || timestamp > _lastAdded!) {
+  void onIntentReceived(int sequence, Intent intent) {
+    if (_lastAdded == null || sequence > _lastAdded!) {
      _controller.add(intent);
    }
  }