From c717f3d308a5d4af580f936a1580e66634e34ce3 Mon Sep 17 00:00:00 2001
From: Shu Chen <shu@zulip.com>
Date: Wed, 15 Nov 2023 10:52:21 +0000
Subject: [PATCH] api: Make Subscription properties mutable

---
 lib/api/model/model.dart | 18 +++++++++---------
 1 file changed, 9 insertions(+), 9 deletions(-)

diff --git a/lib/api/model/model.dart b/lib/api/model/model.dart
index 182daad19f..23edbb100a 100644
--- a/lib/api/model/model.dart
+++ b/lib/api/model/model.dart
@@ -315,17 +315,17 @@ enum StreamPostPolicy {
 class Subscription extends ZulipStream {
   // final List<int> subscribers; // we register with includeSubscribers false
 
-  final bool? desktopNotifications;
-  final bool? emailNotifications;
-  final bool? wildcardMentionsNotify;
-  final bool? pushNotifications;
-  final bool? audibleNotifications;
-
-  final bool pinToTop;
-  final bool isMuted;
+  bool? desktopNotifications;
+  bool? emailNotifications;
+  bool? wildcardMentionsNotify;
+  bool? pushNotifications;
+  bool? audibleNotifications;
+
+  bool pinToTop;
+  bool isMuted;
   // final bool? inHomeView; // deprecated; ignore
 
-  final String color;
+  String color;
 
   Subscription({
     required super.streamId,