Sign up
gitcafe
/
zed
Code
Issues
Pulls
CI
Stacks
Search
Branches
Tags
Code
Issues
Pulls
CI
Stacks
Search
Branches
Tags
More
View stargazers
0
Sign up
Code
Merge pull request #1962 from zed-industries/scrolling-breaks-follow
Unverified
Avoid breaking follow when syncing leader's scroll position
2affbcc495
Max Brunsfeld committed on 12/13/2022, 12:37:58 AM
· committed by GitHub
parents
8012e9f
9ef00ea
Files Changed
3 files changed
Line totals unavailable
Ignore whitespace
Unified
Split
crates/editor/src
crates/editor/src
…
editor_tests.rs
editor_tests.rs
…
items.rs
items.rs
…
scroll.rs
scroll.rs
…