api: Read typing constants from the server.

Signed-off-by: Zixuan James Li <[email protected]>

Author: PIG208

lib/api/model/initial_snapshot.dart

@@ -24,6 +24,14 @@ class InitialSnapshot {
 
   final List<CustomProfileField> customProfileFields;
 
+  // TODO(server-8): Remove the default values.
+  @JsonKey(defaultValue: 15000)
+  final int serverTypingStartedExpiryPeriodMilliseconds;
+  @JsonKey(defaultValue: 5000)
+  final int serverTypingStoppedWaitPeriodMilliseconds;
+  @JsonKey(defaultValue: 10000)
+  final int serverTypingStartedWaitPeriodMilliseconds;
+
   // final List<…> mutedTopics; // TODO(#422) we ignore this feature on older servers
 
   final Map<String, RealmEmojiItem> realmEmoji;
@@ -86,6 +94,9 @@ class InitialSnapshot {
     required this.zulipMergeBase,
     required this.alertWords,
     required this.customProfileFields,
+    required this.serverTypingStartedExpiryPeriodMilliseconds,
+    required this.serverTypingStoppedWaitPeriodMilliseconds,
+    required this.serverTypingStartedWaitPeriodMilliseconds,
     required this.realmEmoji,
     required this.recentPrivateConversations,
     required this.subscriptions,

lib/api/model/initial_snapshot.g.dart

@@ -484,6 +484,9 @@ InitialSnapshot initialSnapshot({
   String? zulipMergeBase,
   List<String>? alertWords,
   List<CustomProfileField>? customProfileFields,
+  int? serverTypingStartedExpiryPeriodMilliseconds,
+  int? serverTypingStoppedWaitPeriodMilliseconds,
+  int? serverTypingStartedWaitPeriodMilliseconds,
   Map<String, RealmEmojiItem>? realmEmoji,
   List<RecentDmConversation>? recentPrivateConversations,
   List<Subscription>? subscriptions,
@@ -505,6 +508,12 @@ InitialSnapshot initialSnapshot({
     zulipMergeBase: zulipMergeBase ?? recentZulipVersion,
     alertWords: alertWords ?? ['klaxon'],
     customProfileFields: customProfileFields ?? [],
+    serverTypingStartedExpiryPeriodMilliseconds:
+      serverTypingStartedExpiryPeriodMilliseconds ?? 15000,
+    serverTypingStoppedWaitPeriodMilliseconds:
+      serverTypingStoppedWaitPeriodMilliseconds ?? 5000,
+    serverTypingStartedWaitPeriodMilliseconds:
+      serverTypingStartedWaitPeriodMilliseconds ?? 10000,
     realmEmoji: realmEmoji ?? {},
     recentPrivateConversations: recentPrivateConversations ?? [],
     subscriptions: subscriptions ?? [], // TODO add subscriptions to default