mirror of
https://github.com/zulip/zulip.git
synced 2025-11-03 13:33:24 +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.
28 KiB
28 KiB