From d5f8afe14a33f99e5dff3ab1bbe72ca0b7dba77d Mon Sep 17 00:00:00 2001 From: mofirojean Date: Sat, 19 Oct 2024 16:04:24 +0100 Subject: [PATCH] add placeholder for unknown users --- lib/widgets/profile.dart | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/lib/widgets/profile.dart b/lib/widgets/profile.dart index 90f2512042c..fe5a367a470 100644 --- 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,