mirror of
https://github.com/zulip/zulip.git
synced 2026-07-18 21:04:19 +08: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. |
||
|---|---|---|
| .. | ||
| assets | ||
| audio | ||
| generated | ||
| html | ||
| images | ||
| js | ||
| locale | ||
| styles | ||
| templates | ||
| third | ||
| .gitignore | ||
| favicon.ico | ||
| node_modules | ||
| robots.txt | ||