add placeholder for unknown users

zulip · Oct 19, 2024 · d5f8afe · d5f8afe
1 parent 48bc6ab
commit d5f8afe
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/lib/widgets/profile.dart b/lib/widgets/profile.dart
@@ -290,8 +290,9 @@ class _UserWidget extends StatelessWidget {
   @override
   Widget build(BuildContext context) {
     final store = PerAccountStoreWidget.of(context);
+    final zulipLocalizations = ZulipLocalizations.of(context);
     final user = store.users[userId];
-    final fullName = user?.fullName ?? '(unknown user)';
+    final fullName = user?.fullName ?? zulipLocalizations.unknownUserName;
     return InkWell(
       onTap: () => Navigator.push(context,
         ProfilePage.buildRoute(context: context,