mirror of
https://github.com/zulip/zulip.git
synced 2025-11-02 04:53:36 +00:00
We were apparently not using the ListWidget API for replacing the content of a widget without removing the whole thing from the DOM and replacing it. Unless ListWidget has unexpected bugs, this should have the exact same result as the previous logic, with much a nicer user experience.