mirror of https://github.com/zulip/zulip.git
3e9b4a2090
This commit makes it so that muted users never appear in the right sidebar buddy list, filter text or not. The hiding is done in the frontend only, and we still recieve presence data from the server as before, so no extra work is required on unmuting someone, other than to rerender the user list. Long term if we find that there are too many muted users, we may want to optimize how we send presence data, but that is unlikely to happen. The other less extreme option is to gray out muted users, but that cannot be done because it would conflict with the graying out we do for non-recipients when the compose box is open. |
||
|---|---|---|
| .. | ||
| assets | ||
| audio | ||
| generated | ||
| html | ||
| images | ||
| js | ||
| shared | ||
| styles | ||
| templates | ||
| third | ||
| .gitignore | ||