krisyotam
/
zed
Code
Issues
Pull Requests
Antique
Wiki
Insights
/
zed
/
crates
/
editor
/
src
/
scroll
KY
KyleBarton
Adjust scroll top by number of sticky headers (#50359)
0214d6e
8 months ago
History
Name
Last commit message
Last commit date
..
actions.rs
autoscroll.rs
scroll_amount.rs