mirror of
https://github.com/zulip/zulip.git
synced 2025-11-11 17:36:27 +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.
29 KiB
29 KiB