mirror of
https://github.com/zulip/zulip.git
synced 2025-11-20 22:48:16 +00:00
The <hr> is supposed to separate the pinned streams from the unpinned streams, so if the <hr> is the first element (checked by doing $hr.prev().length === 0), then it means there are no longer any pinned streams and therefore it isn’t necessary to have a divider. Fixes: #4395.
17 KiB
17 KiB