Fix delay when changing scrolling direction (#13867)

Fixes: #13720.

Co-authored-by: Antonio Scandurra <antonio@zed.dev>
821aa0811dPeter Tripp committed on 7/5/2024, 3:11:43 PM· committed by GitHubparentfa60200
2 files changedLine totals unavailable