When following someone else we saw jitter because `ScrollPositionChanged` events were battling `SelectionsChanged` events, both of which were scrolling the viewport. This ignores the ScrollPositionChanged if autoscrolling is on. Co-authored-by: Antonio <antonio@zed.dev> Co-authored-by: Julia <julia@zed.dev>
Thorsten Ball committed on 1/23/2024, 3:16:21 PMparenta802bb2
1 file changedLine totals unavailable