krisyotam
/
zed
Code
Issues
Pull Requests
Antique
Wiki
Insights
/
zed
/
crates
/
editor
/
src
/
scroll
MV
Mayank Verma
editor: Fix vertical scroll margin not accounting for file header height (#43521)
0713ddc
11 months ago
History
Name
Last commit message
Last commit date
..
actions.rs
autoscroll.rs
scroll_amount.rs