mirror of
https://github.com/zulip/zulip.git
synced 2025-11-02 13:03:29 +00:00
We now use scroll_element_into_container() in two different places, so it's worth extracting.
We now use scroll_element_into_container() in two different places, so it's worth extracting.