krisyotam
/
zed
Code
Issues
Pull Requests
Antique
Wiki
Insights
/
zed
/
crates
/
editor
/
src
/
scroll
FE
Finn Eitreim
gpui: Give divs (the option for) a better scrolling experience (#61797)
79cc17c
3 months ago
History
Name
Last commit message
Last commit date
..
actions.rs
autoscroll.rs
scroll_amount.rs