Files
zed/crates/editor
Max Brunsfeld 2affbcc495 Merge pull request #1962 from zed-industries/scrolling-breaks-follow
Avoid breaking follow when syncing leader's scroll position
2022-12-12 16:37:58 -08:00
..
2022-12-03 16:06:01 -08:00