Mute muted users (Chris's revision, 1 of 2)#1560

Merged

gnprice merged 12 commits intozulip:mainfrom

chrisbobbe:pr-chris-muted-users-1

Jul 3, 2025

Commits on Jul 3, 2025

users: Have userDisplayEmail handle unknown users

chrisbobbe
authored and
gnprice
committed
lightbox: Use senderDisplayName for sender's name

chrisbobbe
authored and
gnprice
committed
compose: Fix error on quote-and-replying message from unknown sender

chrisbobbe
authored and
gnprice
committed
users [nfc]: Use userDisplayName at last non-self-user sites in widgets/

chrisbobbe
authored and
gnprice
committed
muted-users: Say "Muted user" to replace a user's name, where applicable

authored and
gnprice
committed
theme [nfc]: Rename some variables that aren't named variables in Figma

authored and
gnprice
committed
muted-users: Use placeholder for avatars of muted users, where applicable

authored and
gnprice
committed
msglist [nfc]: Remove a no-op MainAxisAlignment.spaceBetween in _SenderRow

chrisbobbe
authored and
gnprice
committed
button [nfc]: Have ZulipWebUiKitButton support a smaller, ad hoc size

chrisbobbe
authored and
gnprice
committed
button [nfc]: Have ZulipWebUiKitButton support an icon

chrisbobbe
authored and
gnprice
committed
button [nfc]: Have ZulipWebUiKitButton support ad hoc minimal-neutral type

chrisbobbe
authored and
gnprice
committed
msglist: Hide content of muted messages, with a "Reveal message" button

authored and
gnprice
committed