@@ -71,7 +71,6 @@ sealed class Event {
71
71
case 'peer_remove' : return SubscriptionPeerRemoveEvent .fromJson (json);
72
72
default : return UnexpectedEvent .fromJson (json);
73
73
}
74
- // case 'muted_topics': … // TODO(#422) we ignore this feature on older servers
75
74
case 'user_status' : return UserStatusEvent .fromJson (json);
76
75
case 'user_topic' : return UserTopicEvent .fromJson (json);
77
76
case 'muted_users' : return MutedUsersEvent .fromJson (json);
@@ -763,6 +762,7 @@ class SubscriptionUpdateEvent extends SubscriptionEvent {
763
762
764
763
final int streamId;
765
764
765
+ @JsonKey (unknownEnumValue: SubscriptionProperty .unknown)
766
766
final SubscriptionProperty property;
767
767
768
768
/// The new value, or null if we don't recognize the setting.
@@ -783,7 +783,6 @@ class SubscriptionUpdateEvent extends SubscriptionEvent {
783
783
assert (RegExp (r'^#[0-9a-f]{6}$' ).hasMatch (str));
784
784
return 0xff000000 | int .parse (str.substring (1 ), radix: 16 );
785
785
case SubscriptionProperty .isMuted:
786
- case SubscriptionProperty .inHomeView:
787
786
case SubscriptionProperty .pinToTop:
788
787
case SubscriptionProperty .desktopNotifications:
789
788
case SubscriptionProperty .audibleNotifications:
@@ -820,13 +819,18 @@ enum SubscriptionProperty {
820
819
color,
821
820
822
821
isMuted,
823
- inHomeView,
824
822
pinToTop,
825
823
desktopNotifications,
826
824
audibleNotifications,
827
825
pushNotifications,
828
826
emailNotifications,
829
827
wildcardMentionsNotify,
828
+
829
+ /// A new, unrecognized property, or a deprecated one we don't use.
830
+ ///
831
+ /// Could be `in_home_view` , deprecated in FL 139 (Server 6) but still sent
832
+ /// as of CZO on 2025-10-03.
833
+ // TODO(server-future) Remove `in_home_view` comment once it stops being sent.
830
834
unknown;
831
835
832
836
static SubscriptionProperty fromRawString (String raw) => _byRawString[raw] ?? unknown;
0 commit comments