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
editor: Fix vertical scroll margin not accounting for file header height (#43521)
11 months ago
autoscroll.rs
Reduce `display_map` snapshot creation (#39354)
1 year ago
scroll_amount.rs
editor: Represent scroll offset with more precision (#39367)
1 year ago