msglist/emoji: Distinguish muted users in message list page and reactions

Author: sm-sayedi

assets/l10n/app_en.arb

@@ -863,6 +863,10 @@
   "@revealButtonLabel": {
     "description": "Label for the button revealing hidden message from a muted sender in message list."
   },
+  "mutedUser": "Muted user",
+  "@mutedUser": {
+    "description": "Name for a muted user to display all over the app."
+  },
   "scrollToBottomTooltip": "Scroll to bottom",
   "@scrollToBottomTooltip": {
     "description": "Tooltip for button to scroll to bottom."

lib/generated/l10n/zulip_localizations.dart

@@ -1263,6 +1263,12 @@ abstract class ZulipLocalizations {
   /// **'Reveal message for muted sender'**
   String get revealButtonLabel;
 
+  /// Name for a muted user to display all over the app.
+  ///
+  /// In en, this message translates to:
+  /// **'Muted user'**
+  String get mutedUser;
+
   /// Tooltip for button to scroll to bottom.
   ///
   /// In en, this message translates to:

lib/generated/l10n/zulip_localizations_ar.dart

@@ -673,6 +673,9 @@ class ZulipLocalizationsAr extends ZulipLocalizations {
   @override
   String get revealButtonLabel => 'Reveal message for muted sender';
 
+  @override
+  String get mutedUser => 'Muted user';
+
   @override
   String get scrollToBottomTooltip => 'Scroll to bottom';
 

lib/generated/l10n/zulip_localizations_en.dart

@@ -673,6 +673,9 @@ class ZulipLocalizationsEn extends ZulipLocalizations {
   @override
   String get revealButtonLabel => 'Reveal message for muted sender';
 
+  @override
+  String get mutedUser => 'Muted user';
+
   @override
   String get scrollToBottomTooltip => 'Scroll to bottom';
 

lib/generated/l10n/zulip_localizations_ja.dart

@@ -673,6 +673,9 @@ class ZulipLocalizationsJa extends ZulipLocalizations {
   @override
   String get revealButtonLabel => 'Reveal message for muted sender';
 
+  @override
+  String get mutedUser => 'Muted user';
+
   @override
   String get scrollToBottomTooltip => 'Scroll to bottom';
 

lib/generated/l10n/zulip_localizations_nb.dart

@@ -673,6 +673,9 @@ class ZulipLocalizationsNb extends ZulipLocalizations {
   @override
   String get revealButtonLabel => 'Reveal message for muted sender';
 
+  @override
+  String get mutedUser => 'Muted user';
+
   @override
   String get scrollToBottomTooltip => 'Scroll to bottom';
 

lib/generated/l10n/zulip_localizations_pl.dart

@@ -673,6 +673,9 @@ class ZulipLocalizationsPl extends ZulipLocalizations {
   @override
   String get revealButtonLabel => 'Reveal message for muted sender';
 
+  @override
+  String get mutedUser => 'Muted user';
+
   @override
   String get scrollToBottomTooltip => 'Przewiń do dołu';
 

lib/generated/l10n/zulip_localizations_ru.dart

@@ -673,6 +673,9 @@ class ZulipLocalizationsRu extends ZulipLocalizations {
   @override
   String get revealButtonLabel => 'Reveal message for muted sender';
 
+  @override
+  String get mutedUser => 'Muted user';
+
   @override
   String get scrollToBottomTooltip => 'Scroll to bottom';
 

lib/generated/l10n/zulip_localizations_sk.dart

@@ -673,6 +673,9 @@ class ZulipLocalizationsSk extends ZulipLocalizations {
   @override
   String get revealButtonLabel => 'Reveal message for muted sender';
 
+  @override
+  String get mutedUser => 'Muted user';
+
   @override
   String get scrollToBottomTooltip => 'Scroll to bottom';
 

lib/widgets/emoji_reaction.dart

@@ -162,7 +162,9 @@ class ReactionChip extends StatelessWidget {
       ? userIds.map((id) {
           return id == store.selfUserId
             ? zulipLocalizations.reactedEmojiSelfUser
-            : store.userDisplayName(id);
+            : store.isUserMuted(id)
+                ? zulipLocalizations.mutedUser
+                : store.userDisplayName(id);
         }).join(', ')
       : userIds.length.toString();
 

lib/widgets/message_list.dart

@@ -424,7 +424,10 @@ class MessageListAppBarTitle extends StatelessWidget {
         if (otherRecipientIds.isEmpty) {
           return Text(zulipLocalizations.dmsWithYourselfPageTitle);
         } else {
-          final names = otherRecipientIds.map(store.userDisplayName);
+          final names = otherRecipientIds.map((id) =>
+            store.isUserMuted(id)
+              ? zulipLocalizations.mutedUser
+              : store.userDisplayName(id));
           // TODO show avatars
           return Text(
             zulipLocalizations.dmsWithOthersPageTitle(names.join(', ')));
@@ -1176,7 +1179,9 @@ class DmRecipientHeader extends StatelessWidget {
     if (message.allRecipientIds.length > 1) {
       title = zulipLocalizations.messageListGroupYouAndOthers(message.allRecipientIds
         .where((id) => id != store.selfUserId)
-        .map(store.userDisplayName)
+        .map((id) => store.isUserMuted(id)
+          ? zulipLocalizations.mutedUser
+          : store.userDisplayName(id))
         .sorted()
         .join(", "));
     } else {